Proof Search in Nested Sequent Calculi-Reference-Cited by-同舟云学术

Proof Search in Nested Sequent Calculi

Published:2015 Issue: Volume: Page:558-574
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Lellmann Björn,Pimentel Elaine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-48899-7_39

Reference18 articles.

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

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

3. Chaudhuri, K., Guenot, N., Straßburger, L.: The focused calculus of structures. In: Bezem, M. (ed.) CSL 2011, pp. 159–173. Leibniz International Proceedings in Informatics (2011)

4. Chellas, B.F.: Modal Logic. Cambridge University Press, Cambridge (1980)

5. Lecture Notes in Computer Science;S Demri,2000

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

1. A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems;Journal of Logical and Algebraic Methods in Programming;2023-01

2. CoNP Complexity for Combinations of Non-normal Modal Logics;Lecture Notes in Computer Science;2023

3. Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics;Studia Logica;2020-09-18

4. A Fresh View of Linear Logic as a Logical Framework;Electronic Notes in Theoretical Computer Science;2020-09

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