Login / Signup
Labelled Calculi for Lattice-Based Modal Logics.
Ineke van der Berg
Andrea De Domenico
Giuseppe Greco
Krishna Manoorkar
Alessandra Palmigiano
Mattia Panettiere
Published in:
ICLA (2023)
Keyphrases
</>
modal logic
sequent calculi
decision procedures
temporal logic
conditional logic
inference rules
epistemic logic
sequent calculus
nonmonotonic logics
cut elimination
concept lattice
situation calculus
default logic
classical logic
autoepistemic logic
theorem prover
model checking
kripke models