Modal Logic

In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 389–409 (2006)
  Copy   BIBTEX

Abstract

This chapter contains sections titled: Enriching Extensional Logic with Intensional Notions Changing Views of Modal Logic A Précis of Basic Modal Logic The Major Applications Fine‐Structure of Expressive Power System Combination: Action and Information Back to the Heartland Conclusion.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780470996751   9780631216711

DOI

10.1002/9780470996751.ch27

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,674

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
Modal logic and invariance.Johan Van Benthem & Denis Bonnay - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):153-173.
Modal Logic.Johan van Benthem - 2015 - Internet Encyclopedia of Philosophy.
A note on graded modal logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.
Is modal logic logic?Gilbert Harman - 1972 - Philosophia 2 (1-2):75-84.
A Note on Graded Modal Logic.Maarten De Rijke - 2000 - Studia Logica 64 (2):271 - 283.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Modal Logic.M. J. Cresswell - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 136–158.
Introductory Modal Logic.Kenneth Konyndyk - 1986 - University of Notre Dame Press.
Boxes and Diamonds: An Open Introduction to Modal Logic.Richard Zach - 2019 - Open Logic Project.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Modal Logic As Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1-2):57-93.
Weakly Aggregative Modal Logic: Characterization and Interpolation.Jixin Liu, Yanjing Wang & Yifeng Ding - 2019 - In Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.), Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Springer. pp. 153-167.
Inquisitive bisimulation.Ivano Ciardelli & Martin Otto - 2021 - Journal of Symbolic Logic 86 (1):77-109.

Analytics

Added to PP
2023-06-15

Downloads
3 (#1,722,168)

6 months
1 (#1,501,182)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

Logic for update products and steps into the past.Joshua Sack - 2010 - Annals of Pure and Applied Logic 161 (12):1431-1461.
McCarthy variations in a modal key.Johan van Benthem - 2011 - Artificial Intelligence 175 (1):428-439.
Best Unifiers in Transitive Modal Logics.Vladimir V. Rybakov - 2011 - Studia Logica 99 (1-3):321-336.

Add more citations

References found in this work

The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Categorial Type Logics.Michael Moortgat - 1997 - In J. van Benthem & A. ter Meulen (eds.), Handbook of Logic and Language. Elsevier.
Modal logic and model-theoretic syntax.Patrick Blackburn & Wilfried Meyer-Viol - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 29--60.

View all 6 references / Add more references