Frank Wolter, Michael Zakharyaschev  Home/Search
Context Related
| informatik.unileipzig.de/...paper11.ps 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: informatik.unileipzig.de/~wol... (more) Homepages: F.Wolter |
Rate this article:      (best)Comment on this article |
Abstract: this paper we give an overview of the model theory that results from such a combination and demonstrate a number of applications. (Update)
Context of citations to this paper: More
..., if and only if w; j= F in every frame (W ; D; for every w 2 W, for every valuation . The resulting logic is called IntS4 in [47], and the condition relating and D there is ( D ) D. In the S4 case where D is a preorder, this is equivalent to our D. For all our...
...valid, written F, if and only if w, p F in every frame (W, for eve w W, for eve valuation p. The resulting logic is called IntS4 in [51], and the condition relating and there is ( o o ) In the S4 ce where is a preorder, this is equivalent to our C . For 11 our nlogy with...
Cited by: More
Modal Logics with Existential Modality, Finite-iteration.. - Shkatov (2005) (Correct)
Mereotopology in 2nd-Order and Modal Extensions of.. - Torrini, Stell, Bennett (Correct)
Categorical and Kripke Semantics for Constructive S4.. - Alechina, Mendler, de .. (2001) (Correct)
Active bibliography (related documents): More All
1.8: On the Relation Between Intuitionistic and Classical Modal.. - Wolter, Zakharyaschev (1996) (Correct)
1.8: Intuitionistic Modal Logics as Fragments of Classical.. - Wolter, Zakharyaschev (Correct)
1.6: On Logics With Coimplication - Wolter (Correct)
Similar documents based on text: More All
1.1: On the Finite Model Property of Intuitionistic Modal Logics.. - Aoto, Shirasu (1998) (Correct)
0.3: Speaking About Transitive Frames in Propositional Languages - Suzuki, Wolter.. (1998) (Correct)
0.3: Modal Logics that Need Very Large Frames - Kracht (Correct)
Related documents from co-citation: More All
6: Computational types from a logical perspective - Benton, Bierman et al. - 1995
5: Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
5: Intuitionistic necessity revisited - Bierman, de Paiva - 1996
BibTeX entry: (Update)
Wolter, F., and M. Zakharyaschev. 1995. Intuitionistic Modal Logics. In Logic in Florence. http://citeseer.ist.psu.edu/wolter99intuitionistic.html More
@incollection{ wz:intml,
AUTHOR = "Frank Wolter and Michael Zakharyaschev",
TITLE = "Intuitionistic Modal Logic",
EDITOR = "A. Cantini and E. Casari and P. Minari",
BOOKTITLE = "Logic and Foundations of Mathematics: Selected
Contributed Papers of 10th Int.\ Congress of Logic,
Methodology and Philosophy of Science,
Florence, Aug.\ 1995",
SERIES = "Synthese Library",
VOLUME = 280,
PAGES = ???,
PUBLISHER = kluwer,
ADDRESS = "Dordrecht",
YEAR = 1999,
url = "citeseer.ist.psu.edu/wolter99intuitionistic.html" }
Citations (may not include all citations):78 Modal logics for communicating systems (context) - Stirling - 1987
49 Properties of independently axiomatizable bimodal logics (context) - Kracht, Wolter - 1991
44 The proof theory and semantics of intuitionistic modal logic (context) - Simpson - 1994
36 Time and Modality (context) - Prior - 1957
30 Journal of Symbolic Logic (context) - Fine, part - 1974
29 Oxford University Press (context) - Chagrov, Zakharyaschev - 1997
22 Fusions of modal logics revisited - Wolter - 1997
21 A framework for intuitionistic modal logic (context) - Plotkin, Stirling - 1986
14 Polish Scientific Publishers (context) - Rasiowa, Sikorski et al. - 1963
14 On modal logics with an intuitionistic base (context) - Servi - 1977
14 Semantics for a class of intuitionistic modal calculi (context) - Servi - 1980
13 Intuitionistic modal logics as fragments of classical bimoda.. - Wolter, Zakharyaschev - 1997
12 Publications of the Research Institute for Mathematical Scie.. (context) - Ono, intuitionistic - 1977
11 Intuitionistic tense and modal logic (context) - Ewald - 1986
11 the relation between intuitionistic and classical modal logi.. - Wolter, Zakharyaschev - 1996
11 Annals of Pure and Applied Logic (context) - Wijesekera, logic - 1990
11 Axiomatizations for some intuitionistic modal logics (context) - Servi - 1984
8 Relations between intuitionistic modal logics and intermedia.. (context) - Ono, Suzuki - 1988
7 A uniform tableau method for intuitionistic modal logics - Amati, Pirri - 1994
6 Varieties of interior algebras (context) - Blok - 1976
6 Models for normal intuitionistic logics (context) - Bozi'c, Dosen - 1984
5 Modality and possibility in some intuitionistic modal logics (context) - Font - 1986
5 On superintuitionistic logics as fragments of proof logic ex.. (context) - Kuznetsov, Yu - 1986
5 Intuitionistic modal logics incompatible with the law of exc.. (context) - Vakarelov - 1981
5 On varieties of Grzegorczyk algebras (context) - Esakia - 1979
5 Lattices of modal logics (context) - Maksimova, Rybakov - 1974
4 An algebraic approach to intuitionistic modal logics in conn.. (context) - Suzuki - 1990
4 Models for stronger normal intuitionistic modal logics (context) - Dosen - 1985
3 On intuitionistic modal epistemic logic (context) - Williamson - 1992
3 Kripke type semantics for propositional modal logics with th.. (context) - Shehtman - 1979
2 MIPC as the formalization of an intuitionistic concept of mo.. (context) - Bull - 1966
2 Modal companions of superintuitionistic logics: syntax (context) - Zakharyaschev - 1991
2 Superintuitionistic companions of classical modal logics (context) - Wolter - 1997
2 On some new intuitionistic propositional connectives (context) - Gabbay - 1977
2 Proof-intuitionistic propositional calculus (context) - Kuznetsov - 1985
1 OE and two definitions of a new intuitionistic connective (context) - Yashin, logic - 1994
1 the finite approximability of the calculus I 4 and non-model.. (context) - Yu, On - 1981
1 Fischer Servi's intuitionistic modal logic has the finite mo.. (context) - Grefe - 1997
1 Implication and deduction in some intuitionistic modal logic.. (context) - Font - 1984
1 New operations in intuitionistic calculus (context) - Bessonov - 1977
1 Modal intuitionistic logics and superintuitionistic predicat.. (context) - Bezhanishvili - 1997
1 Modal theories with intuitionistic logic (context) - Sotirov - 1984
1 An application of the Rieger--Nishimura formulas to the intu.. (context) - Vakarelov - 1985
1 the interpolation property of some intuitionistic modal logi.. (context) - Luppi - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-leipzig.de/~wolter/): More
Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
Spatio-temporal representation and reasoning based on RCC-8 - Wolter, Zakharyaschev (1999) (Correct)
All finitely axiomatizable subframe logics containing the.. - Wolter (1997) (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