Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Download
Faster access than browser!
 

Normal modal logic

+ Save concept

In logic, a normal modal logic is a set L of modal formulas such that L contains. [1]

15 relations: Clarence Irving Lewis, Deontic logic, Directed set, Epistemic modal logic, Equivalence relation, Logic, Modal logic, Modus ponens, Partially ordered set, Preorder, Provability logic, S5 (modal logic), Saul Kripke, Tautology (logic), Weak ordering.

Christmas

Christmas is an annual festival commemorating the birth of Jesus Christ,Martindale, Cyril Charles.

New!!: Normal modal logic and Christmas · See more »

Christmas and holiday season

The Christmas season, also called the festive season, or the holiday season (mainly in the U.S. and Canada; often simply called the holidays),, is an annually recurring period recognized in many Western and Western-influenced countries that is generally considered to run from late November to early January.

New!!: Normal modal logic and Christmas and holiday season · See more »

Christmas Eve

Christmas Eve is the evening or entire day before Christmas Day, the festival commemorating the birth of Jesus.

New!!: Normal modal logic and Christmas Eve · See more »

Christmas traditions

Christmas traditions vary from country to country.

New!!: Normal modal logic and Christmas traditions · 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!!: Normal modal logic and Clarence Irving Lewis · See more »

Deontic logic

Deontic logic is the field of philosophical logic that is concerned with obligation, permission, and related concepts.

New!!: Normal modal logic and Deontic logic · See more »

Directed set

In mathematics, a directed set (or a directed preorder or a filtered set) is a nonempty set A together with a reflexive and transitive binary relation ≤ (that is, a preorder), with the additional property that every pair of elements has an upper bound.

New!!: Normal modal logic and Directed set · See more »

Epistemic modal logic

Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge.

New!!: Normal modal logic and Epistemic modal logic · See more »

Equivalence relation

In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive.

New!!: Normal modal logic and Equivalence relation · 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!!: Normal 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!!: Normal 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!!: Normal modal logic and Modus ponens · See more »

New Year

New Year is the time or day at which a new calendar year begins and the calendar's year count increments by one.

New!!: Normal modal logic and New Year · See more »

New Year's Day

New Year's Day, also called simply New Year's or New Year, is observed on January 1, the first day of the year on the modern Gregorian calendar as well as the Julian calendar.

New!!: Normal modal logic and New Year's Day · See more »

New Year's Eve

In the Gregorian calendar, New Year's Eve (also known as Old Year's Day or Saint Sylvester's Day in many countries), the last day of the year, is on 31 December which is the seventh day of Christmastide.

New!!: Normal modal logic and New Year's Eve · See more »

Partially ordered set

In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set.

New!!: Normal modal logic and Partially ordered set · See more »

Preorder

In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive.

New!!: Normal modal logic and Preorder · See more »

Provability logic

Provability logic is a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'.

New!!: Normal modal logic and Provability logic · See more »

S5 (modal logic)

In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic Logic.

New!!: Normal modal logic and S5 (modal logic) · See more »

Saul Kripke

Saul Aaron Kripke (born November 13, 1940) is an American philosopher and logician.

New!!: Normal modal logic and Saul Kripke · 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!!: Normal modal logic and Tautology (logic) · See more »

Weak ordering

In mathematics, especially order theory, a weak ordering is a mathematical formalization of the intuitive notion of a ranking of a set, some of whose members may be tied with each other.

New!!: Normal modal logic and Weak ordering · See more »

2018

2018 has been designated as the third International Year of the Reef by the International Coral Reef Initiative.

New!!: Normal modal logic and 2018 · See more »

2019

2019 (MMXIX) will be a common year starting on Tuesday of the Gregorian calendar, the 2019th year of the Common Era (CE) and Anno Domini (AD) designations, the 19th year of the 3rd millennium, the 19th year of the 21st century, and the 10th and last year of the 2010s decade.

New!!: Normal modal logic and 2019 · See more »

Redirects here:

K (logic), S4 (logic), S4 (modal logic), S4 (normal modal logic).

References

[1] https://en.wikipedia.org/wiki/Normal_modal_logic

OutgoingIncoming
Hey! We are on Facebook now! »