Interpretability logic
Interpretability logic Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability and/or various related metamathematical properties ...
http://en.wikipedia.org/wiki/Interpretability_logic - 1k - Cached - Similar pages

Interpretability
Interpretability The concept of interpretability is one in mathematical logic. Assume T and S are formal theories ... of formulas. This concept, together with weak interpretability, was introduced by Alfred Tarski in 1953 ... Giorgi Japaridze in 1992-1993. See also Interpretability logic. References A.Tarski, A.Mostovski ...
http://en.wikipedia.org/wiki/Interpretability - 2k - Cached - Similar pages

Weak interpretability
Weak interpretability Assume T and S are formal theories ... structure of formulas. This concept, together with interpretability, was introduced by Alfred Tarski in 1953. Weak interpretability is a special case of the concept ... by Giorgi Japaridze in 1992. See also Interpretability logic. References A.Tarski, A.Mostovski and ...
http://en.wikipedia.org/wiki/Weak_interpretability - 2k - Cached - Similar pages

Provability logic
Provability logic Provability logic is a modal logic, in which the box (or "necessity") operator ... version of Löb's theorem to the logic K (or K4). It was pioneered by ... Montagna, Vladimir Shavrukov, Albert Visser and others. Interpretability logics present natural extensions of provability ...
http://en.wikipedia.org/wiki/Provability_logic - 3k - Cached - Similar pages

Modal logic
Modal logic A modal logic is any logic for handling modalities: concepts like possibility, impossibility ... treated in similar ways. A formal modal logic represents modalities using modal sentential operators. For ... the notion of possibility; in a modal logic this is represented as an operator, ...
http://en.wikipedia.org/wiki/Modal_logic - 38k - Cached - Similar pages

Category:Modal logic
Category:Modal logic The main article for this category is Modal logic. Subcategories There is 1 subcategory to this category. A Axioms of modal logic Pages in category "Modal logic" There are 30 pages in this section of this category. Modal logic A Accessibility relation Accident (philosophy) Actualism ...
http://en.wikipedia.org/wiki/Category:Modal_logic - 1k - Cached - Similar pages

List of mathematical logic topics
List of mathematical logic topics This is a list of mathematical logic topics, by Wikipedia page. For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and ... Transfer principle Overspill Tolerant sequence Cotolerant sequence Interpretability Weak interpretability Cointerpretability Second-order logic ...
http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics - 13k - Cached - Similar pages

List of topics in logic
List of topics in logic This is a list of topics in logic. Alphabetical list A Abacus logic -- Abduction (logic) -- Abductive validation -- Affine logic -- Affirming the antecedent --Affirming the consequent -- ...
http://en.wikipedia.org/wiki/List_of_topics_in_logic - 9k - Cached - Similar pages

Giorgi Japaridze
... were primarily into the areas of provability logic and interpretability logic. Currently he is best known for his work on computability logic (CL). Technically CL is a game logic: it understands interactive computational problems as ...
http://en.wikipedia.org/wiki/Giorgi_Japaridze - 4k - Cached - Similar pages

Tolerant sequence
Tolerant sequence In mathematical logic, a tolerant sequence is a sequence interpretability, cointerpretability, interpretability logic. References G.Japaridze, The logic of ...
http://en.wikipedia.org/wiki/Tolerant_sequence - 2k - Cached - Similar pages