| ||||
| ||||
![]() Title:Nested Sequents for Intuitionistic Modal Logics via Structural Refinement Authors:Tim Lyon Conference:TABLEAUX 2021 Tags:Bi-relational model, computer science, formal grammar, intuitionistic modal cube, Intuitionistic modal logic, labelled formula, Labelled sequent, labelled system, labelled tree sequent, modal logic, Nested sequent, nested sequent system, Proof theory, propagation graph, propagation path, Propagation rule, Refinement, scott lemmon axiom, sequent system, structural refinement, tense logic and tree sequent Abstract: We employ a recently developed methodology---called "structural refinement"---to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. Our nested systems incorporate propagation rules, parameterized with formal grammars, that encode certain frame conditions expressible as first-order Horn formulae and which correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement ![]() Nested Sequents for Intuitionistic Modal Logics via Structural Refinement | ||||
Copyright © 2002 – 2025 EasyChair |