Login / Signup
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA.
Willem Conradie
Valentin Goranko
Dimiter Vakarelov
Published in:
J. Appl. Log. (2010)
Keyphrases
</>
modal logic
default logic
temporal logic
inference rules
decision procedures
default theories
nonmonotonic logics
classical logic
epistemic logic
situation calculus
conditional logic
default reasoning
explanation based generalization
prime implicates
data model
data quality
object oriented