normal modal logic with the additional axioms ◻A→A and ◊A→◻◊A
Connections
propositional calculus
Entity
Kripke semantics
Entity
philosophy
Entity
logic
Entity
Thomas Aquinas
Entity
Gottfried Wilhelm Leibniz
Entity
International Standard Book Number
Entity
Wayback Machine
Entity
equivalence relation
Entity
Stanford Encyclopedia of Philosophy
Entity
tautology
Entity
transitive relation
Entity
modal logic
Entity
ontological argument
Entity
reflexive relation
Entity
Alvin Plantinga
Entity
symmetric relation
Entity
idempotence
Entity
NP-complete
Entity
modus ponens
Entity