20 relations: Accessibility relation, Alvin Plantinga, Clarence Irving Lewis, Cooper Harold Langford, Equivalence relation, Kripke semantics, Logic, Modal logic, Modus ponens, Normal modal logic, NP-completeness, Ontological argument, Philosophy, Possible world, Propositional calculus, Reflexive relation, Substitution (logic), Symmetric relation, Tautology (logic), Transitive relation.
Accessibility relation
In modal logic, an accessibility relation R is a binary relation such that R \subseteq W \times W where W is a set of possible worlds.
New!!: S5 (modal logic) and Accessibility relation · See more »
Alvin Plantinga
Alvin Carl Plantinga (born November 15, 1932) is a prominent American analytic philosopher who works primarily in the fields of logic, justification, philosophy of religion, and epistemology.
New!!: S5 (modal logic) and Alvin Plantinga · See more »
Clarence Irving Lewis
Clarence Irving Lewis (April 12, 1883 – February 3, 1964), usually cited as C. I. Lewis, was an American academic philosopher and the founder of conceptual pragmatism.
New!!: S5 (modal logic) and Clarence Irving Lewis · See more »
Cooper Harold Langford
Cooper Harold Langford (25 August 1895, Dublin, Logan County, Arkansas – 28 August 1964) was an analytic philosopher and mathematical logician who co-authored the book Symbolic Logic (1932) with C. I. Lewis.
New!!: S5 (modal logic) and Cooper Harold Langford · See more »
Equivalence relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive.
New!!: S5 (modal logic) and Equivalence relation · See more »
Kripke semantics
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal.
New!!: S5 (modal logic) and Kripke semantics · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: S5 (modal logic) and Logic · See more »
Modal logic
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality.
New!!: S5 (modal logic) and Modal logic · See more »
Modus ponens
In propositional logic, modus ponens (MP; also modus ponendo ponens (Latin for "mode that affirms by affirming") or implication elimination) is a rule of inference.
New!!: S5 (modal logic) and Modus ponens · See more »
Normal modal logic
In logic, a normal modal logic is a set L of modal formulas such that L contains.
New!!: S5 (modal logic) and Normal modal logic · See more »
NP-completeness
In computational complexity theory, an NP-complete decision problem is one belonging to both the NP and the NP-hard complexity classes.
New!!: S5 (modal logic) and NP-completeness · See more »
Ontological argument
An ontological argument is a philosophical argument for the existence of God that uses ontology.
New!!: S5 (modal logic) and Ontological argument · See more »
Philosophy
Philosophy (from Greek φιλοσοφία, philosophia, literally "love of wisdom") is the study of general and fundamental problems concerning matters such as existence, knowledge, values, reason, mind, and language.
New!!: S5 (modal logic) and Philosophy · See more »
Possible world
In philosophy and logic, the concept of a possible world is used to express modal claims.
New!!: S5 (modal logic) and Possible world · See more »
Propositional calculus
Propositional calculus is a branch of logic.
New!!: S5 (modal logic) and Propositional calculus · See more »
Reflexive relation
In mathematics, a binary relation R over a set X is reflexive if every element of X is related to itself.
New!!: S5 (modal logic) and Reflexive relation · See more »
Substitution (logic)
Substitution is a fundamental concept in logic.
New!!: S5 (modal logic) and Substitution (logic) · See more »
Symmetric relation
In mathematics and other areas, a binary relation R over a set X is symmetric if it holds for all a and b in X that a is related to b if and only if b is related to a. In mathematical notation, this is: Symmetry, along with reflexivity and transitivity, are the three defining properties of an equivalence relation.
New!!: S5 (modal logic) and Symmetric relation · See more »
Tautology (logic)
In logic, a tautology (from the Greek word ταυτολογία) is a formula or assertion that is true in every possible interpretation.
New!!: S5 (modal logic) and Tautology (logic) · See more »
Transitive relation
In mathematics, a binary relation over a set is transitive if whenever an element is related to an element and is related to an element then is also related to.
New!!: S5 (modal logic) and Transitive relation · See more »