- 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 Note on Graded Modal Logic
Studia Logica 64 (2):271 - 283 (2000)
Abstract
We introduce a notion of bisimulation for graded modal logic. Using this notion, the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing the finite model property and proving invariance and definability results.My notes
Similar books and articles
A tableau method for graded intersections of modalities: A case for concept languages. [REVIEW]Ani Nenkova - 2002 - Journal of Logic, Language and Information 11 (1):67-77.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
Euclidean hierarchy in modal logic.Johan van Benthem, Guram Bezhanishvili & Mai Gehrke - 2003 - Studia Logica 75 (3):327-344.
On modal logics between K × K × K and $s5 \times s5 \times s5$.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221 - 234.
Simulating polyadic modal logics by monadic ones.George Goguadze, Carla Piazza & Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):419-462.
Modal correspondence for models.Jon Barwise & Lawrence S. Moss - 1998 - Journal of Philosophical Logic 27 (3):275-294.
Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic.Rohan French & Lloyd Humberstone - 2009 - Australasian Journal of Logic 7:56-61.
Analytics
Added to PP
2011-05-29
Downloads
15 (#923,100)
6 months
3 (#992,474)
2011-05-29
Downloads
15 (#923,100)
6 months
3 (#992,474)
Historical graph of downloads
Citations of this work
Arboreal categories and equi-resource homomorphism preservation theorems.Samson Abramsky & Luca Reggio - 2024 - Annals of Pure and Applied Logic 175 (6):103423.
Granular knowledge and rational approximation in general rough sets – I.A. Mani - forthcoming - Journal of Applied Non-Classical Logics:1-36.
Counting to Infinity: Graded Modal Logic with an Infinity Diamond.Ignacio Bellas Acosta & Yde Venema - 2024 - Review of Symbolic Logic 17 (1):1-35.
Toward Model-Theoretic Modal Logics.M. A. Minghui - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Toward model-theoretic modal logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
References found in this work
Generalized quantifiers and modal logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
General canonical models for graded normal logics (graded modalities IV).C. Cerrato - 1990 - Studia Logica 49 (2):241 - 252.
On the semantics of graded modalities.Wiebe Van der Hoek - 1992 - Journal of Applied Non-Classical Logics 2 (1):81-123.
Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
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-7c76586df8-hc2g5 uwo