Login / Signup
Strong Completeness of Coalgebraic Modal Logics
Lutz Schröder
Dirk Pattinson
Published in:
CoRR (2009)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
conditional logic
classical logic
default logic
situation calculus
cooperative
autoepistemic logic
np complete
model checking