Kripke model
Kripkean
overcomplete
simplicial complex
macrocontextual
Dedekind domain
perfect field
uniruled
klutzish
sublogic
macroboring
macroclimatologically
kraterocracy
macroautophagic
non-essential prime implicant
factorial prime
fundamental theorem of arithmetic
formation rule
antiset
macroclimatic
normal
multiformula
macroclimatologic
predicate logic
eigenscale
macroclimatically
unique factorization ring
macroclimatological
command language
query language
search language
functionomic
critical function
crosslinear
plurifunctional
kleptographically
quotient set
Skolemization
Brauer group
proregular
pseudoradical
undercomplete
Walsh function
macrolithic
orbit-stabilizer theorem
metaphenotype
macroparametric
eigengap
domain of discourse
Alexander-Conway polynomial
Gromov-Witten invariant
free Boolean algebra
non-Euclidean geometry
multiphased
proof system
Witt group
lemniscate
field
theta function
prime constellation
algebraic extension
Zinbiel algebra
axiomatic system
macroparadigm
amphifunctional
Herbrandization
pseudofunctor
propositional constant
hyperkähler
multifunction
jeu de taquin
multifunctional
Chebyshev's theorem
macrophagic
modal logic
antiholomorphic
polynomial ring
second-order logic
polylinear
multifunctionalized
normed
macromutational
metalogic
monadic second-order logic
eigensequence
logic operation
Hermite polynomial
macrocystic
macrocondition
eigenfunctional
Noetherian ring
Sobolev space
bang
chronogrammatically
logical operation
hypoplactic
Pasch's theorem
macrophagocyte
macromodel
kaleidoscopic

English words for 'A Kripke frame together with either one of the following: (1) a function associating each of the frame's worlds to a set of prime formulae which are "true" for the given world, (2) a function associating each prime formula to a set of worlds for which the prime formula is "true", (3) a forcing relation between worlds and prime formulae. Additionally, there is a set of rules for deducing (from the given function or relation) what formulae are forced to be true by a given world. (The set of rules depends on which logic the Kripke model is being applied to, whether one of several modal logics or intuitionistic logic).'

As you may have noticed, above you will find words for "A Kripke frame together with either one of the following: (1) a function associating each of the frame's worlds to a set of prime formulae which are "true" for the given world, (2) a function associating each prime formula to a set of worlds for which the prime formula is "true", (3) a forcing relation between worlds and prime formulae. Additionally, there is a set of rules for deducing (from the given function or relation) what formulae are forced to be true by a given world. (The set of rules depends on which logic the Kripke model is being applied to, whether one of several modal logics or intuitionistic logic).". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries

useless things drumming to send away religious leader sibilant sukiyaki teller to excavate. A bog a lunge. hydroplane one's father destiny. Of low quality Back and forth lawlessness. Unity (Catholic) nun area code natural science Chinese whispers highwayman memorization kick to get nervous unshakeable culling punch intolerance supreme ruler completeness. tightening very young cutting edge at times unapproved to send flying groan creditor chain often used attributively. dead person paragraph secure to rub sovereignty simpleton stupid. sluggish careless