Post Complete and 0-Axiomatizable Modal Logics.

Fabio Bellissima

Published in: Ann. Pure Appl. Log. (1990)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
classical logic
conditional logic
situation calculus
dynamic logic
default logic
modal operators
artificial intelligence
model checking
autoepistemic logic