Giambattista Amati, Fiora Pirri  Home/Search
Context Related
| dis.uniroma1.it/~p...udiaLogica5394.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: dis.uniroma1.it/~pirri...publicat (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present tableau systems and sequent calculi for the intuitionistic analogues IK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IKD5, IK45, IKD45 and IS5 of the normal classical modal logics. We provide soundness and completeness theorems with respect to the models of intuitionistic logic enriched by a modal accessibility relation, as proposed by G. (Update)
Context of citations to this paper: More
.... see also Grefe [1997] Various extensions of FS were studied by Bull [1966] Ono [1977] Fischer Servi [1977, 1980, 1984] Amati and Pirri [1994], Ewald [1986] Wolter and Zakharyaschev [1996] Wolter [1997b] The best known one is probably the logic MIPC = FS Phi 2p p...
.... paper [21] we extend a part of the theory developed here to systems with weaker connections between 2 and 3, e.g. to those in [15] 19] [1]. In Section 1 we define relational and algebraic semantics for intuitionistic modal logics and combine elements of duality theory for...
Cited by: More
Almost duplication-free tableau calculi for propositional Lax .. - Avellone, Ferrari (1996) (Correct)
Tableaus for Many-Valued Modal Logic - Fitting (1995) (Correct)
On the Relation Between Intuitionistic and Classical Modal.. - Wolter, Zakharyaschev (1996) (Correct)
Similar documents (at the sentence level):
79.5%: A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993) (Correct)
Active bibliography (related documents): More All
1.7: Intuitionistic Autoepistemic Logic - Aiello, Amati, Pirri (1997) (Correct)
1.4: Intuitionistic Modal Logic - Wolter, Zakharyaschev (1999) (Correct)
0.8: Logics and Provability - Sasaki (2001) (Correct)
Similar documents based on text: More All
0.5: An Information Retrieval Logic Model: Implementation And.. - Amati, Kerpedjiev (Correct)
0.5: Default Logic as a formalism for understanding commonsense.. - Amati, Aiello, Pirri (1996) (Correct)
0.4: Definability and Commonsense Reasoning - Amati, Aiello, al. (1996) (Correct)
Related documents from co-citation: More All
6: On modal logic with an intuitionistic base (context) - Fischer-Servi - 1977
5: A framework for intuitionistic modal logics (context) - Plotkin, Stirling - 1986
4: Axiomatizations for some Intuitionistic Modal Logics (context) - Servi - 1984
BibTeX entry: (Update)
Giambattista Amati and Fiora Pirri. A uniform tableau method for intuitionistic modal logics I. Manuscript, 1993. http://citeseer.ist.psu.edu/article/amati93uniform.html More
@article{ amati94uniform,
author = "Giambattista Amati and Fiora Pirri",
title = "A Uniform Tableau Method for Intuitionistic Modal Logics {I}",
journal = "Studia Logica",
volume = "53",
number = "1",
pages = "29--60",
year = "1994",
url = "citeseer.ist.psu.edu/article/amati93uniform.html" }
Citations (may not include all citations):343 Modal Logic: an Introduction (context) - Chellas - 1980
242 Proof methods for modal and intuitionistic logics (context) - Fitting - 1983
72 North-Holland (context) - Takeuti - 1975
47 Untersuchungen uber das logische Schliessen (context) - Gentzen
36 Time and Modality (context) - Prior - 1957
19 Intuitionistic Basis for NonMonotonic Logics (context) - Gabbay - 1982
17 Intuitionistic Logic (context) - van Dalen - 1986
14 Semantics for a class of Intuitionistic Modal Calculi (context) - Servi - 1980
14 On Modal Logics with an Intuitionistic Base (context) - Servi - 1977
12 Publication of The Research Institute for Mathematical Scien.. (context) - Ono, intuitionistic - 1977
11 Intuitionistic Tense and Modal Logic (context) - Ewald - 1986
11 Axiomatizations for some Intuitionistic Modal Logics (context) - Servi - 1984
11 Annals of Pure and Applied Logic (context) - Wijesekera, logic - 1990
9 An Intuitionistic Basis for NonMonotonic Reasoning (context) - Gabbay, Clarke - 1988
8 Relations between intuitionistic modal logics and intermedia.. (context) - Ono, Suzuki - 1987
6 Intuitionistic modal logic with quantifiers (context) - Fitch - 1949
6 Models for normal intuitionistic logics (context) - Bozic, Dosen - 1984
6 The Finite Model Property for MIPQ and some consequences (context) - Servi - 1978
5 Intuitionistic Modal Logics Incompatible with the law of the.. (context) - Vakarelov - 1981
5 Modality and possibility in some intuitionistic modal logics (context) - Font - 1986
4 Models for strongly normal intuitionistic modal logics (context) - Dosen - 1985
4 An algebraic approach to intuitionistic modal logics in conn.. (context) - Suzuki - 1989
3 Remarks on Halmos' Duality Theory (context) - Servi - 1981
3 Theoretical Aspects of Reasoning about Knowledge (context) - Plotkin, Stirling et al. - 1986
3 Completeness for Non Normal Intuitionistic Modal Logics (context) - Servi - 1981
2 A Modal Extension of Intuitionistic Logic (context) - Bull - 1965
2 Semantical Ivestigations in Heyting's Intuitionistic Logic (context) - Gabbay - 1981
2 Kripke Bundles for Intermediate Predicate Logics and Kripke .. (context) - Suzuki - 1989
2 MIPC as the formalisation of an Intuitionist Concept of Moda.. (context) - Bull - 1966
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dis.uniroma1.it/~pirri/publicat.html): More
Risks evaluation and Failures Diagnosis for Autonomous .. - Finzi, Pirri.. (2001) (Correct)
Defaults as restrictions on classical Hilbert-style proofs - Amati, Aiello, Pirri (1995) (Correct)
Autonomous Mobile Manipulators Managing Perception.. - Finzi, Pirri.. (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