Login / Signup
A New Representation Theorem for Many-valued Modal Logics
Zoran Majkic
Published in:
CoRR (2011)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
epistemic logic
default logic
knowledge base
situation calculus