Login / Signup
Which Modal Logic Is the Right One?
John P. Burgess
Published in:
Notre Dame J. Formal Log. (1999)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
classical logic
dynamic logic
situation calculus
default logic
conditional logic
relational databases
model checking
modal operators
sequent calculus