Related articles:
Essence
Saul Kripke
Polish notation
Theorem
Propositional calculus
Modal verb
Aristotle
Key terms:
logic
modal logic
axiom
lnot
epistemic
semantics
rightarrow
bigfoot
possible worlds
diamond p
neg
iff
propositional
metaphysical
temporal logic
reflexive
tarski
unary
boolean algebra
zeman
cresswell
logika
deontic logic
axiomatic
kripke semantics
tableau
bigfoot exists
accessibility relation
transitive
dynamic logic
langford
saul kripke
epistemic modalities
rightarrow q
logical consequence
metaphysical possibility
modal operators
necessarily true
many modal logics
logically possible
normal modal logic
logical possibility
epistemic modal logic
linear temporal logic
classical modal logic
propositional calculus
necessity and possibility
cambridge university press
introduction to modal logic
true in all possible worlds
Search external links cited by footnotes on Wikipedia page Modal logic:
|
|