Login / Signup
On modal logics which enrich first-order S5.
Harold Hodes
Published in:
J. Philos. Log. (1984)
Keyphrases
</>
modal logic
conditional logic
temporal logic
decision procedures
inference rules
first order logic
nonmonotonic logics
epistemic logic
higher order
situation calculus
model theoretic
dynamic logic
classical logic
horn clauses
default logic
fixed point
probability distribution