Login / Signup
On Nested Sequents for Constructive Modal Logics.
Ryuta Arisaka
Anupam Das
Lutz Straßburger
Published in:
Log. Methods Comput. Sci. (2015)
Keyphrases
</>
modal logic
sequent calculus
inference rules
temporal logic
decision procedures
linear logic
epistemic logic
classical logic
situation calculus
nonmonotonic logics
default logic
sequent calculi
legal reasoning
modal operators
autoepistemic logic
model checking
automated reasoning
dynamical systems