Login / Signup
Reduction of Many-valued into Two-valued Modal Logics
Zoran Majkic
Published in:
CoRR (2011)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
default logic
situation calculus
nonmonotonic logics
satisfiability problem
autoepistemic logic