- 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
A Kripke-style semantics for R-Mingle using a binary accessibility relation
Studia Logica 35 (2):163 - 172 (1976)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
J. Michael Dunn on Information Based Logics.Katalin Bimbo (ed.) - 2016 - Cham, Switzerland: Springer.
Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R, R-Mingle, and Some Related Systems.Dolph Ulrich - 2016 - In Katalin Bimbo (ed.), J. Michael Dunn on Information Based Logics. Cham, Switzerland: Springer.
A New Semantics for Positive Modal Logic.S. Celani & R. Jansana - 1997 - Notre Dame Journal of Formal Logic 38 (1):1-18.
Kripke frame with graded accessibility and fuzzy possible world semantics.Nobu-Yuki Suzuki - 1997 - Studia Logica 59 (2):249-269.
Revisiting Constructive Mingle: Algebraic and Operational Semantics.Yale Weiss - 2022 - In Katalin Bimbó (ed.), Relevance Logics and other Tools for Reasoning: Essays in Honor of J. Michael Dunn. London: College Publications. pp. 435-455.
Belnap–Dunn Modal Logic with Value Operators.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 109 (4):759-789.
Correspondence Between Kripke Frames and Projective Geometries.Shengyang Zhong - 2018 - Studia Logica 106 (1):167-189.
Categories of models of R-mingle.Wesley Fussner & Nick Galatos - 2019 - Annals of Pure and Applied Logic 170 (10):1188-1242.
Some independence results in interpretability logic.Vítězslav Švejdar - 1991 - Studia Logica 50 (1):29 - 38.
Dov Gabbay, Reactive Kripke Semantics. [REVIEW]Valentin Goranko - 2017 - Studia Logica 105 (2):431-437.
Analytics
Added to PP
2009-01-28
Downloads
101 (#204,994)
6 months
3 (#1,498,119)
2009-01-28
Downloads
101 (#204,994)
6 months
3 (#1,498,119)
Historical graph of downloads
Author's Profile
Citations of this work
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.
Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
On Three-Valued Presentations of Classical Logic.Bruno da Ré, Damian Szmuc, Emmanuel Chemla & Paul Égré - 2024 - Review of Symbolic Logic 17 (3):682-704.
An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.
References found in this work
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
Algebraic completeness results for r-Mingle and its extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16-18):247-257.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-667477cd97-2pm92 dc2