Nested Sequents for Intuitionistic Modal Logics via Structural Refinement скачать в хорошем качестве

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

Speaker: Tim Lyon Webpage: https://sites.google.com/view/timlyon Abstract: We employ a recently developed methodology---called "structural refinement"---to provide nested sequent systems for a sizable class of intuitionistic modal logics. The methodology consists of transforming labelled sequent systems into nested systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. Our propagation rules are parameterized with formal grammars that allow for certain frame conditions expressible as first-order Horn formulae and which correspond to a subclass of the Scott-Lemmon axioms to be encoded into our nested systems. The nested sequent systems we provide are sound, cut-free complete, and admit hp-admissibility of typical structural rules. The paper "Nested Sequents for Intuitionistic Modal Logics via Structural Refinement" published at the conference TABLEAUX 2021 (https://tableaux2021.org/) can be found at the following links: Published Version: https://doi.org/10.1007/978-3-030-860... PrePrint: https://arxiv.org/abs/2107.01998