Helle Hvid Hansen  Home/Search
Context Related
| illc.uva.nl/Public...200324.text.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: illc.uva.nl/Publ...reportlist.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Monotonic modal logics form a generalization of normal modal logics... (Update)
Cited by: More
First-Order Classical Modal Logic: Applications in logics.. - Arlo-Costa, Pacuit (Correct)
Active bibliography (related documents): More All
1.0: A Sahlqvist Theorem for Distributive Modal Logic - Gehrke, Nagahashi, Venema (2002) (Correct)
0.8: Logical for Social Software - Pauly (2001) (Correct)
0.8: Logic and Relativity (in the light of definability theory) - Madarasz (2002) (Correct)
Similar documents based on text: More All
0.3: Axiomatising Nash-Consistent Coalition Logic - Hansen, Pauly (2002) (Correct)
0.1: Meeting Strength in substructural logics - Venema (1994) (Correct)
0.1: Many-Valued Non-Monotonic Modal Logics - Fitting (1992) (Correct)
BibTeX entry: (Update)
@misc{ hansen-monotonic,
author = "Helle Hvid Hansen",
title = "Monotonic Modal Logics",
url = "citeseer.ist.psu.edu/hansen03monotonic.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
343 Modal Logic - An Introduction (context) - Chellas - 1980
227 North-Holland (context) - Chang, Keisler - 1973
186 Universal coalgebra: a theory of systems - Rutten - 2000
126 Cambridge University Press (context) - Johnstone - 1982
119 Alternating-time temporal logic - Alur, Henzinger et al. - 1998
83 A Course in Universal Algebra - Burris, Sankappanavar - 1981
63 Cambridge University Press (context) - Blackburn, de Rijke et al. - 2001
61 Using the universal modality: Gains and Questions (context) - Goranko, Passy - 1992
56 Basic modal logic (context) - Bull, Segerberg - 1984
52 Modal logic with names (context) - Gargov, Goranko - 1993
45 Correspondence theory (context) - van Benthem - 1984
34 Boolean algebras with operators (context) - onsson, Tarski - 1951
31 Metamathematics of modal logic (context) - Goldblatt - 1976
31 Metamathematics of modal logic (context) - Goldblatt - 1976
30 Annals of Pure and Applied Logic (context) - Goldblatt, complex - 1989
29 Oxford University Press (context) - Chagrov, Zakharyaschev - 1997
24 On epistemic logic and logical omniscience (context) - Vardi - 1986
18 Modal Correspondence Theory (context) - van Benthem - 1976
16 A modal logic for coalitional power in games - Pauly - 2002
16 Boolean algebras with operators II (context) - onsson, Tarski - 1952
15 Algebraic Relativization and Arrow Logic (context) - Marx - 1995
14 The logic of games and its applications (context) - Parikh - 1985
13 Contrary-to-duty reasoning with preference based dyadic obli.. - van der Torre, Tan - 1999
13 How completeness and correspondence theory got married (context) - Kracht - 1993
12 Annals of Pure and Applied Logic (context) - Sambin, Vaccaro et al. - 1988
12 the complexity of epistemic reasoning (context) - Vardi - 1989
10 Logical patterns in space - Aiello, van Benthem
10 Eine Interpretation des intuitionistischen Aussagenkalkuls (context) - odel - 1933
9 Reduction of tense logic to modal logic II (context) - Thomason - 1975
9 Reduction of second-order logic to modal logic (context) - Thomason - 1975
9 Transactions of the American Mathematical Society (context) - Michael, spaces - 1951
9 Highway to the danger zone - Kracht - 1995
9 the canonicity of Sahlqvist identities (context) - onsson - 1994
8 Bounded distributive lattices with operators (context) - Gehrke, onsson - 1994
8 Monotone bounded distributive lattice expansions (context) - Gehrke, onsson - 2000
7 Reduction of tense logic to modal logic (context) - Thomason - 1974
7 Category Theory for the Working Mathematician (context) - Lane - 1971
6 Coalgebraic modal logic: Soundness (context) - Pattinson - 2002
5 Coalgebras and modal logic - Kurz - 2001
5 Interpolation and amalgamation; pushing the limits (context) - Madar - 1998
5 Interpolation and amalgamation; pushing the limits (context) - Madar - 1999
5 Simulating polyadic modal logics by monadic ones - Goguadze, Piazza et al. - 2003
5 Abstract algebraic logic and the deduction theorem (context) - Blok, Pigozzi
4 Categories of frames for modal logic (context) - Thomason - 1975
4 Logic for Social Software (context) - Pauly - 2001
4 From programs to games: Invariance and safety for bisimulati.. (context) - Pauly - 2000
4 From classical to normal modal logics (context) - Gasquet, Herzig - 1996
4 Amalgamation and interpolation in abstract algebraic logic (context) - Czelakowski, Pigozzi - 1999
3 On non-well-founded multisets: Scott collapse in the multiwo.. (context) - D'Agostino, Visser - 1999
3 Normal monomodal logics can simulate all others - Kracht, Wolter - 1999
3 volume 142 of Studies in Logic and The Foundations of Mathem.. (context) - Kracht, Techniques et al. - 1999
3 volume 7 of Lecture Notes (context) - Goldblatt, Time - 1992
2 On strong neighbourhood completeness of propositional logics (context) - Shehtman - 1997
2 A Sahlqvist theorem for distributive modal logic - Gehrke, Nagahashi et al. - 2002
2 On strong neighbourhood completeness of propositional logics (context) - Shehtman - 1999
2 Algebraic semantics for quasi-classical modal logics (context) - Blok, ohler - 1983
2 Subdirectly irreducible modal algebras and initial frames (context) - Sambin - 1999
2 Duality between modal algebras and neighbourhood frames (context) - Do - 1989
1 volume 60 of Lecture Notes (context) - Barwise, Moss - 1996
1 The inadequacy of the neighbourhood semantics for modal logi.. (context) - Gerson - 1975
1 Interpolation theorems in modal logics and amalgable varieti.. (context) - Maksimova - 1980
1 Stone coalgebras (context) - Kupke, Kurz et al. - 2003
1 Duals of subdirectly irreducible modal algebras - Venema - 2002
1 Completeness results in neighbourhood semantics for monotoni.. (context) - Gasquet - 1996
1 Bisimulation for general non-normal modal logic (context) - Pauly - 1999
1 the degree of neighbourhood incompleteness of normal modal l.. (context) - Chagrova - 1998
1 Course notes 499 Modal and Temporal Logic (context) - Sergot - 2000
1 Complete axiomatization of the alternating-time temporal log.. (context) - Goranko, van Drimmelen - 2003
1 ur Mathematische Logik und Grundlagen der Matematik (context) - Chellas, McKinney et al. - 1975
1 Simulating monotonic modal logics by normal bimodal ones (context) - Hansen - 2002
1 Axiomatising Nash-consistent coalition logic - Hansen, Pauly - 2002
1 An Esssay in Classical Modal Logic (context) - Segerberg - 1971
Documents on the same site (http://www.illc.uva.nl/Publications/reportlist.php): More
When are Two Games the Same? - van Benthem (1999) (Correct)
Studies on the Uses and Usefulness of Diagrams - Berger (2000) (Correct)
Logical for Social Software - Pauly (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC