Normal Extensions of G.3
Theoria 68 (2):170-176 (2002)
Abstract
This article has no associated abstract. (fix it)DOI
10.1111/j.1755-2567.2002.tb00127.x
My notes
Similar books and articles
Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.Timothy Williamson - 1998 - Notre Dame Journal of Formal Logic 39 (1):128-134.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.
The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem.Guram Bezhanishvili - 2010 - Annals of Pure and Applied Logic 161 (3):253-267.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
The lattice of normal modal logics (preliminary report).Wolfgang Rautenberg - 1977 - Bulletin of the Section of Logic 6 (4):193-199.
Even more about the lattice of tense logics.Marcus Kracht - 1992 - Archive for Mathematical Logic 31 (4):243-257.
All Normal Extensions of S5-squared Are Finitely Axiomatizable.Nick Bezhanishvili & Ian Hodkinson - 2004 - Studia Logica 78 (3):443-457.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
Definability theorems in normal extensions of the probability logic.Larisa L. Maksimova - 1989 - Studia Logica 48 (4):495-507.
Iterative differential galois theory in positive characteristic: A model theoretic approach.Javier Moreno - 2011 - Journal of Symbolic Logic 76 (1):125 - 142.
Analytics
Added to PP
2010-09-13
Downloads
44 (#268,081)
6 months
1 (#455,463)
2010-09-13
Downloads
44 (#268,081)
6 months
1 (#455,463)
Historical graph of downloads
Citations of this work
References found in this work
An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Sweden: Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge, England: Cambridge University Press.
Extensions of the Lewis system S5.Schiller Joe Scroggs - 1951 - Journal of Symbolic Logic 16 (2):112-120.
