Modal Logic: The System S5

Abstract

A brief overview of the system S5 in modal logic as defined by Brian F. Chellas, author of "Modal Logic: An Introduction." The history and usage of modal logic are given mention, along with some applications. Very much a draft. Written for PhileInSophia on July 5, 2021.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
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.
Aristotle's Modal Logic: Essence and Entailment in the Organon. [REVIEW]Leo J. Elders - 1997 - Review of Metaphysics 50 (4):915-915.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
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.
Do Modal Distinctions Collapse in Carnap’s System?Genoveva Marti - 1994 - Journal of Philosophical Logic 23 (6):575 - 593.
A Deep Inference System for the Modal Logic S5.Phiniki Stouppa - 2007 - Studia Logica 85 (2):199-214.
Modal Logic.Johan van Benthem - 2015 - Internet Encyclopedia of Philosophy.
An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
Suhrawardi's Modal Syllogisms.Zia Movahed - 2012 - Sophia Perennis 21:5-17.
Philosophical Applications of Modal Logic.Lloyd Humberstone - 2016 - College Publications.
Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 , pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 , pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 , pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 , pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. [REVIEW]J. J. C. - 1957 - Review of Metaphysics 11 (2):349-349.
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. [REVIEW]J. C. J. - 1957 - Review of Metaphysics 11 (2):349-349.
Continuous propositional modal logic.Stefano Baratella - 2018 - Journal of Applied Non-Classical Logics 28 (4):297-312.

Analytics

Added to PP
2021-07-21

Downloads
404 (#49,399)

6 months
156 (#21,054)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriel Andrus
New York University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references