Post Completeness in Modal Logic.

Krister Segerberg

Published in: J. Symb. Log. (1972)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
epistemic logic
situation calculus
default logic
dynamic logic
nonmonotonic logics
explanation based generalization
data quality
conditional logic
prime implicates
autoepistemic logic
fixed point
data model