Proof search in nested sequent calculi

DOI10.1007/978-3-662-48899-7_39MaRDI QIDQ3460084zbMATH OpenOpenAlexWikidataFDO

Authors Björn Lellmann, Elaine Pimentel

Publication date 12 January 2016

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48899-7_39

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Focused and Synthetic Nested Sequents
• Modular focused proof systems for intuitionistic modal logics
• Modularisation of sequent calculi for normal and non-normal modalities
• Sequentialising nested systems
• Nested sequent calculi for normal conditional logics

Cited in

(26)

• Proof theory for indexed nested sequents
• Maehara-style modal nested calculi
• A semantical view of proof systems
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
• Combining monotone and normal modal logic in nested sequents -- with countermodels
• A fresh view of linear logic as a logical framework
• Focused proof-search in the logic of bunched implications
• Labelled sequent calculi for Lewis' non-normal propositional modal logics
• Focused and Synthetic Nested Sequents
• Nested sequent calculi for conditional logics
• scientific article; zbMATH DE number 5910658 (Why is no real title available?)
• Hypersequent rules with restricted contexts for propositional modal logics
• Focused labeled proof systems for modal logic
• Prefixed tableaus and nested sequents
• Modularisation of sequent calculi for normal and non-normal modalities
• Nested sequents for provability logic GLP: FIG. 1.
• Deep Proof Search in MELL
• scientific article; zbMATH DE number 2090535 (Why is no real title available?)
• Proving completeness for nested sequent calculi
• Logical analysis of emotions in text from natural language
• Terminating sequent calculi for proving and refuting formulas in S4
• A general proof certification framework for modal logic
• Modular focused proof systems for intuitionistic modal logics
• scientific article; zbMATH DE number 7668098 (Why is no real title available?)
• CoNP complexity for combinations of non-normal modal logics
• Internal and external calculi: ordering the jungle without being lost in translations

This page was built for publication: Proof search in nested sequent calculi

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