Some Intensional Logics Defined by Relating Semantics and Tableau Systems-Reference-Cited by-同舟云学术

Some Intensional Logics Defined by Relating Semantics and Tableau Systems

Published:2020-11-20 Issue: Volume: Page:31-48
ISSN:1572-6126
Container-title:Logic in High Definition
language:
Short-container-title:

Author:

Jarmużek Tomasz,Klonowski Mateusz

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53487-5_3

Reference18 articles.

1. Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press.

2. Epstein, R. L. (1979). Relatedness and implication. Philosophical Studies, 36, 137–173.

3. Epstein, R. L. (with the assistance and collaboration of: W. A. Carnielli, I. M. L. D’Ottaviano, S. Krajewski, R. D. Maddux). (1990). The semantic foundations of logic. Volume 1: Propositional logics. Dordrecht: Springer Science+Business Media.

4. Jarmużek, T. (2013). Tableau metatheorem for modal logics. In R. Ciuni, H. Wansing, C. Willkommen (Eds.), Recent trends in philosphical logic (Vol. 41, pp. 103–126). Trends in logic. Berlin: Springer.

5. Jarmużek, T., & Kaczkowski, B. (2014). On some logic with a relation imposed on formulae: Tableau system $$\cal{F}$$. Bulletin of the Section of Logic, 43(1/2), 53–72.

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

1. Some Remarks on the Logic of Probabilistic Relevance;Logic and Logical Philosophy;2023-12-12

2. Relating Semantics for Hyper-Connexive and Totally Connexive Logics;Logic and Logical Philosophy;2023-06-21

3. Tableaux for some deontic logics with the explicit permission operator;Bulletin of the Section of Logic;2022-06-23

4. Tolerating Inconsistencies: A Study of Logic of Moral Conflicts;Bulletin of the Section of Logic;2022-06-07

5. Free choice permission, legitimization and relating semantics;Logic Journal of the IGPL;2022-05-18