Nested Sequents for Quasi-transitive Modal Logics.

Sonia Marin Paaras Padhiar

Published in: CoRR (2024)

Keyphrases

modal logic
sequent calculus
inference rules
temporal logic
decision procedures
linear logic
transitive closure
classical logic
default logic
epistemic logic
situation calculus
nonmonotonic logics
machine learning
theorem proving
general purpose
special case
query processing
high level