Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics-Reference-Cited by-同舟云学术

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics

Published:2019-12-20 Issue: Volume: Page:27-46
ISSN:0302-9743
Container-title:Logical Foundations of Computer Science
language:
Short-container-title:

Author:

Dalmonte Tiziano^ORCID,Lellmann Björn^ORCID,Olivetti Nicola^ORCID,Pimentel Elaine^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-36755-8_3

Reference20 articles.

1. Askounis, D., Koutras, C.D., Zikos, Y.: Knowledge means “all”, belief means “most”. J. Appl. Non-Class. Logics 26(3), 173–192 (2016)

2. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Logic: From Foundations to Applications. Clarendon P. (1996)

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

4. Dalmonte, T., Olivetti, N., Negri, S.: Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi. In: Proceedings of AiML (2018)

5. Dalmonte, T., Olivetti, N., Negri, S.: Bi-neighbourhood semantics and labelled sequent calculi for non-normal modal logics. Part 1 (draft) (2019). http://www.lsis.org/olivetti/TR2019/TR-BINS.pdf

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

1. A forward internal calculus for model generation in S4;Journal of Logic and Computation;2021-03-29

2. Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity;Journal of Logic and Computation;2020-12-29

3. Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics;Logic and Logical Philosophy;2020-10-10

4. HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description);Automated Reasoning;2020