Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo  Home/Search
Context
Related
| unife.it/dgm/Mathware.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: unife.it/dgm/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We investigate the logical systems which result from introducing the modalities 2 and 3 into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to the formulation of a uniform labelled refutation system for these logics. 1 Introduction The classical theory of modalities is based on the notion of possible world. Possible worlds can be seen as maximally consistent sets (or in nite conjunctions) of propositions. However,... (Update)
Similar documents (at the sentence level):
31.3%: Grafting Modalities onto substructural implication systems - D'Agostino, Gabbay, Russo (1996) (Correct)
27.8%: Fibred Tableaux for Multi-Implication Logics - D'Agostino, Gabbay (1996) (Correct)
Active bibliography (related documents): More All
0.3: Algorithmic Deduction based on Labelled Tableaux Project.. - Broda, Gabbay (Correct)
0.2: Almost duplication-free tableau calculi for propositional Lax .. - Avellone, Ferrari (1996) (Correct)
0.2: Intuitionistic Modal Logic - Wolter, Zakharyaschev (1999) (Correct)
Similar documents based on text: More All
0.6: Fibred Modal Tableaux - Gabbay, Governatori (2000) (Correct)
0.2: KE+: Beyond Refutation - Governatori (1995) (Correct)
0.2: Dealing with Label Dependent Deontic Modalities - Gabbay, Governatori (1998) (Correct)
BibTeX entry: (Update)
@misc{ d'agostino-information,
author = "Marcello D'Agostino and Dov M. Gabbay and Alessandra Russo",
title = "Information Frames, Implication Systems and Modalities",
url = "citeseer.ist.psu.edu/201337.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
194 Knowledge and Belief (context) - Hintikka - 1962
150 Entailment: the Logic of Relevance and Necessity (context) - Anderson, Jr - 1975
94 A Deduction Model of Belief (context) - Konolige - 1986
41 Journal of Logic and Computation (context) - D'Agostino, Mondadori et al. - 1994
36 Applications of linear logic to computation: An overview - Alexiev - 1994
33 A generalization of analytic deduction via labelled deductiv.. - D'Agostino, Gabbay - 1994
28 The semantics and proof theory of linear logic - Avron - 1988 ACM DBLP
28 Semantics for relevant logic (context) - Urquhart - 1972
25 Relevant logic and entailment (context) - Dunn - 1986
22 The Proof Theory and Semantics of Intuitionistic Modal Logic (context) - Sympson - 1993
21 A framework for intuitionistic modal logic (context) - Plotkin, Stirling - 1986
14 On modal logic with an intuitionistic base (context) - Servi - 1977
7 A uniform tableau method for intuitionistic modal logics - Amati, Pirri - 1993
4 Modularity and relevant logic (context) - Garson - 1989 DBLP
1 Max-Planck-Institut Fur Informatik (context) - Gabbay, systems et al. - 1994
1 Models for normal intuitionistic modal logics (context) - Bo, Do - 1984
Documents on the same site (http://www.unife.it/dgm/): More
Fibred Tableaux for Multi-Implication Logics - D'Agostino, Gabbay (1996) (Correct)
A Generalization of Analytic Deduction via Labelled.. - D'Agostino, Gabbay (1995) (Correct)
A Solution To A Problem Of Popper - Broda, D'Agostino, Mondadori (1995) (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