Concept
Modal logic
Overview
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Modal logic
- Georg Henrik von Wright
- Kurt Gödel
- Robert Merrihew Adams
- David Malet Armstrong
- Richard Swinburne
- Timothy Williamson
- Arthur Prior
- Susanne Bobzien
- Willard Van Orman Quine
- George Boolos
- Ruth Barcan Marcus
- Walter Burley
- David Lewis (philosopher)
- Richard Sylvan
- C. I. Lewis
- Saul Kripke
- Josiah Royce
- Rudolf Carnap
- Charles Hartshorne
- Charles Sanders Peirce
- Norman Malcolm
- Hilary Putnam
- Alvin Plantinga
- Edmund Husserl
Related ideas
- Method of analytic tableaux
- First-order logic
- Avicenna
- Game theory
- Gottfried Wilhelm Leibniz
- Grammatical tense
- Permission (philosophy)
- Norm (philosophy)
- Deontic logic
- Philosophy
- Ancient Greek
- Subjunctive possibility
- Modal realism
- Jurisprudence
- Intuitionistic logic
- Logical equivalence
- Jaakko Hintikka
- L. E. J. Brouwer
- Latin
- Propositional logic
- Harvard University
- Axiomatic system
- Reflexive relation
- Robert Merrihew Adams
Opposing perspectives
Place in the tradition
Part of Outline of philosophy.
Narrower topics:
- Grammatical mood
- Modality (semantics)
- On Interpretation
- Prior Analytics
- Topological space
- Angelika Kratzer
- Cooper Harold Langford
- Classical modal logic
- Multiverse (set theory)
- Hennessy–Milner logic
- Neighborhood semantics
- Accidental necessity
- Blindsight
- Non-normal modal logic
- Structural proof theory
- Subliminal stimuli