Rooted Hypersequent Calculus for Modal Logic S5.

Hamzeh Mohammadi Mojtaba Aghaei

Published in: Logica Universalis (2023)

Keyphrases

modal logic
sequent calculus
temporal logic
inference rules
cut elimination
decision procedures
classical logic
nonmonotonic logics
situation calculus
epistemic logic
conditional logic
explanation based generalization
default logic
natural deduction
dynamic logic
prime implicates
description logic alc