- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Modal logics for reasoning about infinite unions and intersections of binary relations
Journal of Applied Non-Classical Logics 22 (4):275-294 (2012)
Abstract
(2012). Modal logics for reasoning about infinite unions and intersections of binary relations. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 275-294. doi: 10.1080/11663081.2012.705960.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Reasoning without believing: on the mechanisation of presuppositions and partiality.Manfred Kerber & Michael Kohlhase - 2012 - Journal of Applied Non-Classical Logics 22 (4):295 - 317.
Dual tableau-based decision procedures for relational logics with restricted composition operator.Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska - 2011 - Journal of Applied Non-Classical Logics 21 (2):177-200.
Foreword.Jean-Yves Béziau & Alexandre Costa-Leite - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):1-1.
DEL-sequents for regression and epistemic planning.Guillaume Aucher - 2012 - Journal of Applied Non-Classical Logics 22 (4):337-367.
Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations.Marianna Nicolosi-Asmundo & Domenico Cantone - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek, Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag. pp. 169-202.
Natural deduction calculi for classical and intuitionistic S5.S. Guerrini, A. Masini & M. Zorzi - 2023 - Journal of Applied Non-Classical Logics 33 (2):165-205.
Expressive completeness of modal logic on binary ramified frames.Bernhard Heinemann - 1996 - Journal of Applied Non-Classical Logics 6 (4):347-367.
Substitution Frege and extended Frege proof systems in non-classical logics.Emil Jeřábek - 2009 - Annals of Pure and Applied Logic 159 (1-2):1-48.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Binary Logics, Orthologics, and their Relations to Normal Modal Logics.Yutaka Miyazaki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 313-333.
Analytics
Added to PP
2013-03-01
Downloads
115 (#414,809)
6 months
18 (#645,146)
2013-03-01
Downloads
115 (#414,809)
6 months
18 (#645,146)
Historical graph of downloads
Author's Profile
References found in this work
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
Modal logic.Patrick Blackburn - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation