Combining monotone and normal modal logic in nested sequents -- with countermodels

DOI10.1007/978-3-030-29026-9_12zbMath1468.03023OpenAlexW2969278118MaRDI QIDQ2180518

Björn Lellmann

Publication date: 14 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29026-9_12

zbMATH Keywords

modal logicnon-normal modal logicnested sequentsability logiccountermodel generation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) ⋮ MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) ⋮ A pure view of ecumenical modalities

This page was built for publication: Combining monotone and normal modal logic in nested sequents -- with countermodels