Focused and Synthetic Nested Sequents

DOI10.1007/978-3-662-49630-5_23zbMATH Open1476.03080OpenAlexW2470520559MaRDI QIDQ2811354FDOQ2811354

Authors: Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger 

Publication date: 10 June 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49630-5_23

Recommendations

• Focusing Strategies in the Sequent Calculus of Synthetic Connectives
• Focusing and higher-order abstract syntax
• Prefixed tableaus and nested sequents
• Grafting hypersequents onto nested sequents
• Nested sequents for intuitionistic logics
• scientific article; zbMATH DE number 7668098
• Nested sequent calculi for conditional logics
• A Focused Sequent Calculus for Higher-Order Logic
• scientific article; zbMATH DE number 2051680
• Modal interpolation via nested sequents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cites Work

• Display logic
• A judgmental reconstruction of modal logic
• Modal logic for philosophers
• Proof analysis in modal logic
• Focusing and polarization in linear, intuitionistic, and classical logics
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Prefixed tableaus and nested sequents
• Label-free modular systems for classical and intuitionistic modal logics
• Cut-free sequent calculi for some tense logics
• Axioms vs hypersequent rules with context restrictions: theory and applications
• Proof search in nested sequent calculi
• Title not available (Why is that?)
• Logic Programming with Focusing Proofs in Linear Logic
• Deep sequent systems for modal logic
• Uniform proofs as a foundation for logic programming
• Cut elimination in nested sequents for intuitionistic modal logics
• A logical characterization of forward and backward chaining in the inverse method
• Focusing Strategies in the Sequent Calculus of Synthetic Connectives
• Structural focalization
• Focused labeled proof systems for modal logic
• A multi-focused proof system isomorphic to expansion proofs
• Focused natural deduction
• Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
• Modular focused proof systems for intuitionistic modal logics
• The focused calculus of structures
• Focusing and higher-order abstract syntax

Cited In (12)

• Focused proof-search in the logic of bunched implications
• Modular focused proof systems for intuitionistic modal logics
• Title not available (Why is that?)
• A general proof certification framework for modal logic
• Grafting hypersequents onto nested sequents
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• The focused calculus of structures
• MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
• Hypersequent rules with restricted contexts for propositional modal logics
• Focusing Strategies in the Sequent Calculus of Synthetic Connectives
• Linking focusing and resolution with selection
• Proof search in nested sequent calculi

Uses Software

• Imogen

This page was built for publication: Focused and Synthetic Nested Sequents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811354)