Login / Signup
Recent Advances in Proof Systems for Modal Logic.
Sara Negri
Published in:
Advances in Modal Logic (2014)
Keyphrases
</>
recent advances
modal logic
temporal logic
decision procedures
researchers and practitioners
epistemic logic
situation calculus
nonmonotonic logics
image and video data
artificial intelligence
sequent calculus
conditional logic
classical logic
relational databases
multi agent systems
knowledge base
computer vision