C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modal Logics with Hard Diamond-free Fragments.
Antonis Achilleos
Published in:
CoRR (2014)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
situation calculus
classical logic
default logic
conditional logic
dynamic logic
data model
dynamic programming
model theoretic
modal operators
sequent calculus