search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

The Completeness Problem for Modal Logic.

Antonis Achilleos

Published in: LFCS (2018)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
nonmonotonic logics
situation calculus
conditional logic
default logic
object oriented
explanation based generalization
data quality
artificial intelligence
belief revision
prime implicates
sequent calculus
kripke models