search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Modal logics with hard diamond-free fragments.

Antonis Achilleos

Published in: J. Log. Comput. (2020)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
classical logic
epistemic logic
nonmonotonic logics
cooperative
dynamic logic
situation calculus
default logic
conditional logic
theorem proving
autoepistemic logic
satisfiability problem
fixed point
sequent calculus
multi agent