search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Modal Logics with Hard Diamond-Free Fragments.

Antonis Achilleos

Published in: LFCS (2016)

Keyphrases

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