- Willem Blok's Contribution to Abstract Algebraic Logic.Ramon Jansana - 2006 - Studia Logica 83 (1-3):31-48.details
|
|
Persistence and atomic generation for varieties of Boolean algebras with operators.Robert Goldblatt - 2001 - Studia Logica 68 (2):155-171.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Constructive canonicity in non-classical logics.Silvio Ghilardi & Giancarlo Meloni - 1997 - Annals of Pure and Applied Logic 86 (1):1-32.details
|
|
An algebraic theory of normal forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.details
|
|
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.details
|
|
Update to “A Survey of Abstract Algebraic Logic”.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2009 - Studia Logica 91 (1):125-130.details
|
|
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.details
|
|
Foreword. [REVIEW]J. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):3-12.details
|
|
Beyond Rasiowa's Algebraic Approach to Non-classical Logics.Josep Maria Font - 2006 - Studia Logica 82 (2):179-209.details
|
|
An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.details
|
|
Duality between modal algebras and neighbourhood frames.Kosta Došen - 1989 - Studia Logica 48 (2):219 - 234.details
|
|
Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.details
|
|
An incomplete decidable modal logic.M. J. Cresswell - 1984 - Journal of Symbolic Logic 49 (2):520-527.details
|
|
The undecidability of the disjunction property of propositional logics and other related problems.Alexander Chagrov & Michael Zakharyaschev - 1993 - Journal of Symbolic Logic 58 (3):967-1002.details
|
|
Embedding Boolean Structures into Atomic Boolean Structures.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (13‐16):227-228.details
|
|
Embedding Boolean Structures into Atomic Boolean Structures.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (13-16):227-228.details
|
|
The Logic of Provability.Timothy Williamson - 1996 - Philosophical Quarterly 46 (182):110-116.details
|
|
An incomplete system of modal logic.George Boolos & Giovanni Sambin - 1985 - Journal of Philosophical Logic 14 (4):351 - 358.details
|
|
Algebraic semantics for quasi-classical modal logics.W. J. Blok & P. Köhler - 1983 - Journal of Symbolic Logic 48 (4):941-964.details
|
|
The bounded proof property via step algebras and step frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.details
|
|
Two simple incomplete modal logics.J. F. A. K. Benthem - 1978 - Theoria 44 (1):25-37.details
|
|
Syntactic aspects of modal incompleteness theorems.J. F. A. K. van Benthem - 1979 - Theoria 45 (2):63-77.details
|
|
On Topological Models of GLP.Lev Beklemishev, Guram Bezhanishvili & Thomas Icard - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 135-156.details
|
|
PSPACE-decidability of Japaridze's polymodal logic.Ilya Shapirovsky - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 289-304.details
|
|
Isomorphism via translation.Tadeusz Litak - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 333-351.details
|
|
On Notions of Completeness Weaker than Kripke Completeness.T. Litak - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 149-169.details
|
|
How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics.A. V. Chagrov & M. N. Rybakov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 71-82.details
|
|
On the Degree of Neighborhood Incompleteness of Normal Modal Logics.Lilia Chagrova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 63-72.details
|
|
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.details
|
|
Properties of Tense Logics.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):481-500.details
|
|
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
Atomless varieties.Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):607-614.details
|
|
The decision problem of provability logic with only one atom.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (8):763-768.details
|
|
Two simple incomplete modal logics.J. F. A. K. van Benthem - 1978 - Theoria 44 (1):25-37.details
|
|
Modal Logic and Classical Logic.R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.details
|
|
Semantic analysis of tense logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.details
|
|
Reduction of tense logic to modal logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.details
|
|
Reduction of tense logic to modal logic II.S. K. Thomason - 1974 - Theoria 40 (3):154-169.details
|
|
Reduction of second‐order logic to modal logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):107-114.details
|
|
Categories of frames for modal logic.S. K. Thomason - 1975 - Journal of Symbolic Logic 40 (3):439-442.details
|
|
An incompleteness theorem in modal logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.details
|
|
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.I. Grattan-Guinness - 1956 - Journal of Symbolic Logic 54 (1):281-282.details
|
|
Canonicity results of substructural and lattice-based logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.details
|
|
Canonicity for intensional logics with even axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.details
|
|
Willem Blok and Modal Logic.W. Rautenberg, M. Zakharyaschev & F. Wolter - 2006 - Studia Logica 83 (1):15-30.details
|
|
An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.details
|
|
Finite models constructed from canonical formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.details
|
|
Modal incompleteness revisited.Tadeusz Litak - 2004 - Studia Logica 76 (3):329 - 342.details
|
|
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.Tadeusz Litak & Frank Wolter - 2005 - Studia Logica 81 (2):153-165.details
|
|