Algebraic Polymodal Logic: A Survey

Algebraic Polymodal Logic: A Survey (2000)

Cached

Download Links

[www3.oup.co.uk]
[www3.oup.co.uk]

Other Repositories/Bibliography

DBLP

by Robert Goldblatt

Citations:

2 - 0 self

BibTeX

@MISC{Goldblatt00algebraicpolymodal,
    author = {Robert Goldblatt},
    title = {Algebraic Polymodal Logic: A Survey},
    year = {2000}
}

Bookmark

OpenURL

Abstract

This is a review of those aspects of the theory of varieties of Boolean algebras with operators (BAO's) that emphasise connections with modal logic and structural properties that are related to natural properties of logical systems.

Citations

743	First-Order Dynamic Logic - Harel - 1997
184	Logics of Time and Computation - Goldblatt - 1992
170	Boolean algebras with operators - Jónsson, Tarski - 1951
153	Correspondence Theory - Benthem - 1984
110	1987: A formalization of set theory without variables - Tarski, Givant
93	Cylindric Algebra - Henkin, Monk, et al. - 1985
84	The algebra of topology - McKinsey, Tarski - 1944
75	Complexity of modal logic - Marx - 2007
66	Completeness and correspondence in the first and second order semantics for modal logic - Sahlqvist - 1973
58	Varieties of complex algebras - Goldblatt - 1989
49	Pair-dense relation algebras - Maddux - 1991
43	A completeness theorem in the modal logic of programs - Segerberg - 1982
41	Some theorems about the sentential calculi of Lewis and Heyting - McKinsey, Tarski - 1948
32	Some connections between elementary and modal logic - Fine - 1975
25	Algebraic Relativization and Arrow Logic - Marx - 1995
23	The unprovability of consistency - Boolos - 1985
23	Varieties of relation algebras - Jónsson - 1982
21	Beth’s and Craig’s properties via epimorphisms and amalgamation in algebraic logic - Sain
20	Elementary generation and canonicity for varieties of Boolean algebras with operators - Goldblatt - 1995
20	S.Thomason, \Axiomatic classes in propositional modal logic - Goldblatt
19	On closed elements in closure algebras - McKinsey, Tarski
19	Semantic analysis of tense logics - Thomason - 1972
17	C: A solution of the decision problem for the Lewis systems S2 and S4 with an application to to topology - McKinsey - 1941
17	Taming Logics - Mikulas - 1995
15	The lattice of modal logics: an algebraic investigation - Blok - 1980
15	Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics - Gabbay - 1976
15	Algebraic logic I, monadic Boolean algebras - Halmos - 1955
15	Varieties of Relation Algebras, Algebra Universalis 15 - J`onsson, B - 1982
15	An incomplete logic containing S4 - Fine - 1974
14	The McKinsey axiom is not canonical - Goldblatt - 1991
14	On the canonicity of Sahlqvist identities - Jónsson - 1994
14	An incompleteness theorem in modal logic - Thomason - 1974
12	Mathematics of Modality. CSLI Lecture Notes No. 43 - Goldblatt - 1993
11	Categories of frames for modal logic - Thomason - 1975
10	Algebraic semantics for modal logics II - Lemmon - 1966
10	Properties of Tense Logics - Wolter
9	An incomplete logic containing S4. Theoria - Fine - 1974
9	That all normal extensions of S4.3 have the finite model property. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik - Bull - 1966
7	An algebraic study of tense logic with linear time - Bull - 1968
7	On closure under canonical embedding algebras - Goldblatt - 1991
6	Intensional logic. Preliminary draft of initial chapters by - Lemmon, Scott - 1966
6	The Craig Interpolation Theorem in Multi-Modal Logics - Madarász - 1995
6	Every world can see a reflexive world - Hughes - 1990
6	Decidability and the finite model property - Urquhart - 1981
5	On interpolation, amalgamation, universal algebra and Boolean algebras with operators. Unpublished manuscript - Andr'eka, N'emeti, et al. - 1995
5	An incomplete system of modal logic - Boolos, Sambin - 1985
5	Quasi-Modal Equivalence of Canonical Structures - Goldblatt - 2001
5	An incompleteness theorem in modal logic. Theoria, 40:150– 158 - Thomason - 1974
4	Reflections on a proof of elementarity - Goldblatt - 1999
4	Decidable Versions of First Order Logic and Cylindric-Relativised Set Algebras - Németi - 1995