Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev  Home/Search
Context Related
| informatik.unileipzig.de/~...paper5.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is a comparative study of the propositional intuitionistic (non-modal) and classical modal languages interpreted in the standard way on transitive frames. It shows that, when talking about these frames rather than conventional quasi-orders, the intuitionistic language displays some unusual features: its expressive power becomes weaker than that of the modal language, the induced consequence relation does not have a deduction theorem and is not protoalgebraic. Nevertheless, the paper... (Update)
Context of citations to this paper: More
...di#cult to give a Hilbert style formalization of and this di#culty was pointed out by Y. Suzuki, F. Wolter and M. Zakharyaschev in [SWZ98]. In chapter 3, we consider this problem using restricted modus ponens. Extensions of V were treated in [AR99] and [SWZ98] As extensions...
Cited by: More
Logics and Provability - Sasaki (2001) (Correct)
Active bibliography (related documents): More All
1.5: Intuitionistic Modal Logic - Wolter, Zakharyaschev (1999) (Correct)
1.1: On the Relation Between Intuitionistic and Classical Modal.. - Wolter, Zakharyaschev (1996) (Correct)
1.0: Intuitionistic Modal Logics as Fragments of Classical.. - Wolter, Zakharyaschev (Correct)
Similar documents based on text: More All
0.2: Modal Description Logics: Modalizing Roles - Wolter, Zakharyaschev (1999) (Correct)
0.2: Qualitative Spatio-Temporal Representation and Reasoning.. - Wolter, Zakharyaschev (2001) (Correct)
0.2: Multi-Dimensional Description Logics - Wolter, Zakharyaschev (1999) (Correct)
Related documents from co-citation: More All
2: Archiv fur Mathematische Logik und Grundlagenforschung (context) - H'ajek, Montagna et al. - 1990
2: A formalization for the consequence relation of Visser's propositional logic (context) - Sasaki
BibTeX entry: (Update)
Y. Suzuki, F. Wolter and M. Zakharyaschev, Speaking about transitive frames in propositional languages, Journal of Logic, Language, and Information 7, 1998, 317--339. http://citeseer.ist.psu.edu/suzuki98speaking.html More
@article{ suzuki98speaking,
author = "Yasuhito Suzuki and Frank Wolter and Michael Zakharyaschev",
title = "Speaking about Transitive Frames in Propositional Languages",
journal = "Journal of Logic, Language and Information",
volume = "7",
number = "3",
pages = "317--339",
year = "1998",
url = "citeseer.ist.psu.edu/suzuki98speaking.html" }
Citations (may not include all citations):31 Metamathematics of modal logic (context) - Goldblatt - 1976
29 Oxford University Press (context) - Chagrov, Zakharyaschev - 1997
15 Eine Interpretation des intuitionistischen Aussagenkalkuls (context) - Godel - 1933
15 Klassische und nichtklassische Aussagenlogik (context) - Rautenberg - 1979
14 Polish Scientific Publishers (context) - Rasiowa, Sikorski et al. - 1963
14 Operational modal logic - Artemov - 1995
13 Intuitionistic modal logics as fragments of classical bimoda.. - Wolter, Zakharyaschev - 1997
12 Self-reference and Modal Logic (context) - Smory'nski - 1985
11 the relation between intuitionistic and classical modal logi.. - Wolter, Zakharyaschev - 1996
7 Protoalgebraic logics (context) - Blok, Pigozzi - 1986
6 Varieties of interior algebras (context) - Blok - 1976
6 provability and intuitionistic logic (context) - Goldblatt - 1978
6 The calculus of compatibility of propositions (context) - Orlov - 1928
5 On superintuitionistic logics as fragments of proof logic ex.. (context) - Kuznetsov, Yu - 1986
5 Lattices of modal logics (context) - Maksimova, Rybakov - 1974
5 On varieties of Grzegorczyk algebras (context) - Esakia - 1979
4 Sequent systems for subintuitionistic logics (context) - Wansing, temporalizing - 1997
3 Part I: Basic results (context) - Zakharyaschev, for - 1992
2 Proof-intuitionistic propositional calculus (context) - Kuznetsov - 1985
2 Basic logic and Fregean set theory (context) - Ruitenburg - 1992
2 Modal translations in K and D (context) - Dosen - 1993
2 A propositional logic with explicit fixed points (context) - Visser - 1981
2 Statistics and Computer Science (context) - Ardeshir, Ruitenburg et al. - 1995
2 On systems of modal logic with provability interpretations (context) - Boolos - 1980
2 Weak logics with strict implication (context) - Corsi - 1987
2 volume 77 of Memoirs of the American Mathematical Society (context) - Blok, Pigozzi - 1989
1 A criterion for admissibility of rules in the modal system S.. (context) - Rybakov - 1984
1 Provability as modality (context) - Kuznetsov, Yu - 1980
1 Cut-free tableau calculi for some propositional normal modal.. (context) - Amerbauer - 1996
1 Irreflexive modality in intuitionistic propositional logic a.. (context) - Yashin - 1997
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