Focused and Synthetic Nested Sequents-Reference-Cited by-同舟云学术

Focused and Synthetic Nested Sequents

Published:2016 Issue: Volume: Page:390-407
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Chaudhuri Kaustuv,Marin Sonia,Straßburger Lutz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-49630-5_23

Reference31 articles.

1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. Logic Comput. 2(3), 297–347 (1992)

2. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Logic: From Foundations to Applications: European Logic Colloquium, pp. 1–32. Clarendon Press (1996)

3. Belnap Jr., N.D.: Display logic. J. Philos. Logic 11, 375–417 (1982)

4. Lecture Notes in Computer Science;T Brock-Nannestad,2010

5. Brünnler, K.: Deep sequent systems for modal logic. Arch. Math. Logic 48(6), 551–577 (2009)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

2. Focused Proof-search in the Logic of Bunched Implications;Lecture Notes in Computer Science;2021

3. MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description);Automated Reasoning;2020

4. Modularisation of Sequent Calculi for Normal and Non-normal Modalities;ACM Transactions on Computational Logic;2019-04-30

5. A general proof certification framework for modal logic;Mathematical Structures in Computer Science;2019-03-26