- 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.Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Counting to Infinity: Graded Modal Logic with an Infinity Diamond.Ignacio Bellas Acosta & Yde Venema - 2024 - Review of Symbolic Logic 17 (1):1-35.
Products of modal logics. Part 3: Products of modal and temporal logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
Neighbourhood Semantics for Graded Modal Logic.Jinsheng Chen, Hans Van Ditmarsch, Giuseppe Greco & Apostolos Tzimoulis - 2021 - Bulletin of the Section of Logic 50 (3):373-395.
Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science vol. 53. [REVIEW]Valentin Goranko - 2004 - Studia Logica 76 (1):135-142.
Decidability of Inquisitive Modal Logic via Filtrations.Stipe Marić & Tin Perkov - forthcoming - Studia Logica:1-19.
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic.Minghui Ma & Juntong Guo - 2025 - Studia Logica 113 (1):49-78.
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic.Minghui Ma & Juntong Guo - forthcoming - Studia Logica:1-30.
Euclidean hierarchy in modal logic.Johan van Benthem, Guram Bezhanishvili & Mai Gehrke - 2003 - Studia Logica 75 (3):327-344.
The Modality of Finite.Maurizio Fattorosi-Barnaba & Uliano Paolozzi Balestrini - 1999 - Mathematical Logic Quarterly 45 (4):471-480.
Analytics
Added to PP
2009-01-28
Downloads
132 (#167,408)
6 months
18 (#164,460)
2009-01-28
Downloads
132 (#167,408)
6 months
18 (#164,460)
Historical graph of downloads
Citations of this work
-Connections of abstract description systems.Oliver Kutz, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Artificial Intelligence 156 (1):1-73.
Neighbourhood Semantics for Graded Modal Logic.Jinsheng Chen, Hans Van Ditmarsch, Giuseppe Greco & Apostolos Tzimoulis - 2021 - Bulletin of the Section of Logic 50 (3):373-395.
Granular knowledge and rational approximation in general rough sets – I.A. Mani - 2024 - Journal of Applied Non-Classical Logics 34 (2):294-329.
Dynamic graded epistemic logic.Minghui Ma & Hans van Ditmarsch - 2019 - Review of Symbolic Logic 12 (4):663-684.
Arboreal categories and equi-resource homomorphism preservation theorems.Samson Abramsky & Luca Reggio - 2024 - Annals of Pure and Applied Logic 175 (6):103423.
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.
Decidability by filtrations for graded normal logics (graded modalities V).Claudio Cerrato - 1994 - Studia Logica 53 (1):61 - 73.
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-648784bb4d-72rpk uwo