Monotonic Modal Logics

Monotonic Modal Logics (2003)

Cached

Download Links

by Helle Hvid Hansen

Citations:

BibTeX

@MISC{Hansen03monotonicmodal,
    author = {Helle Hvid Hansen},
    title = {Monotonic Modal Logics},
    year = {2003}
}

Bookmark

OpenURL

Abstract

Monotonic modal logics form a generalization of normal modal logics...

Citations

1191	Reasoning about knowledge - Fagin, Halpern, et al. - 1995
552	Modal Logic: an Introduction - Chellas - 1980
396	Model Theory - Chang - 1973
353	Modal Logic - Blackburn, Rijke, et al. - 2001
348	Alternating-time temporal logic - Alur, Henzinger, et al.
279	Universal coalgebra: a theory of systems - Rutten - 2000
218	A course in universal algebra - Burris, Sankappanavar - 1981
170	Boolean algebras with operators - Jónsson, Tarski - 1951
160	Intuitionistic modal logic - Wolter, Zakharyaschev - 1999
153	Correspondence Theory - Benthem - 1984
121	A modal logic for coalitional power in games - Pauly
108	K.: Basic modal logic - Bull, Segerberg - 2001
78	Using the universal modality: gains and questions - Goranko, Passy - 1992
72	Modal logic with names - Gargov, Goranko - 1993
70	Logic for Social Software - Pauly - 2001
65	Eine interpretation des intuitionistischen aussagenkalküls. Ergebnisse eines Mathematischen Kolloquiums - Gödel - 1933
58	Varieties of complex algebras - Goldblatt - 1989
57	The logic of games and its applications - Parikh - 1985
50	Coalgebraic modal logic: soundness, completeness and decidability of local consequence - Pattinson - 2003
48	An Essay in Classical Modal Logic - Segerberg - 1971
40	On epistemic logic and logical omniscience - Vardi - 1986
37	Topologies on spaces of subsets - Michael - 1951
36	Contrary-to-Duty Reasoning with Preference-based Dyadic Obligations - Torre, Tan - 1999
34	Benthem: Correspondence Theory - Van
26	On the complexity of epistemic reasoning - Vardi - 1989
25	Algebraic Relativization and Arrow Logic - Marx - 1995
21	How completeness and correspondence theory got married - Kracht - 1993
20	Topology and duality in modal logic - Sambin, Vaccaro - 1988
18	A Sahlqvist Theorem for distributive modal logics - Gehrke, Nagahashi, et al. - 2005
17	Benthem. Logical patterns in space - Aiello, van - 2002
17	Bounded distributive lattices expansions - Gehrke, Jónsson
16	Abstract algebraic logic and the deduction theorem - Blok, Pigozzi
15	Bounded distributive lattices with operators - Gehrke, Jónsson - 1994
14	Duality between modal algebras and neighbourhood frames - Doˇsen
14	On the canonicity of Sahlqvist identities - Jónsson - 1994
14	Category theory for the working mathematician - Lane
13	Amalgamation and interpolation in abstract algebraic logic - Czelakowski, Pigozzi - 1999
13	From classical to normal modal logic - Gasquet, Herzig - 1996
13	Reduction of second-order logic to modal logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik - Thomason - 1975
12	Boolean algebras with operators II - Jónsson, Tarski - 1952
12	Normal Monomodal Logics Can Simulate All Others - Kracht, Wolter - 1998
12	Reduction of tense logic to modal logic I - Thomason - 1974
11	Highway to the Danger Zone - Kracht - 1994
11	Interpolation and amalgamation; pushing the limits - Madarász - 1999
11	Categories of frames for modal logic - Thomason - 1975
8	Duality between modal algebras and neighbourhood frames - Dosen - 1988
6	Simulating polyadic modal logics by monadic ones - Goguadze, Piazza, et al.
6	Stone coalgebras - Kupke, Kurz, et al. - 2003
6	Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras, Algebra i Logika - Maksimova - 1979
6	Subdirectly irreducible modal algebras and initial frames - Sambin - 1999