Matteo Baldoni  Home/Search
Context Related
| di.unito.it/~argo/...2000_LD_book.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: di.unito.it/cgi...?author=Baldoni (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present a prefixed analytic tableau calculus for a wide class of normal multimodal logics; the calculus can deal in a uniform way with any logic in this class. To achieve this goal, we use a prefixed tableau calculus a la Fitting, where we explicitly represent accessibility relations between worlds by means of a graph and we use the characterizing axioms as rewriting rules. Such rules create new paths among worlds in the counter-model construction. The prefixed tableau method... (Update)
Context of citations to this paper: More
.... is incorporated in the syntactic label construction and only minor variations are needed to pass from one logic to another [1, 4, 21, 22, 25, 5, 36, 40]. Thus, once an automated LDS is available for some appropriate modal systems, only slight natural changes in the modal LDS...
...the formulae in #. For example, the axiom schema listed in Figure 4 determine classes of logics considered in Catach [9] and Baldoni [5]. Theorem 6.8 Let # be any finite set of instances of formulae in Figure 4, and let # be the set of associated first order properties as...
Cited by: More
Mechanised Reasoning and Model Generation for Extended Modal.. - Schmidt, Hustadt (2003) (Correct)
Reasoning about Complex Actions with - Incomplete Knowledge Modal (2001) (Correct)
Labelled Tableaux for Nonmonotonic Reasoning.. - Artosi, Governatori.. (2002) (Correct)
Similar documents (at the sentence level):
8.7%: A Tableau Calculus for Multimodal Logics and Some.. - Baldoni, Giordano.. (1998) (Correct)
Active bibliography (related documents): More All
0.7: Translating a Modal Language with Embedded Implication.. - Baldoni, Giordano.. (1995) (Correct)
0.7: A Framework for Modal Logic Programming - Baldoni, Giordano, Martelli (1996) (Correct)
0.7: Decidability of SHIQ with Complex Role Inclusion Axioms - Horrocks (2003) (Correct)
Similar documents based on text: More All
1.3: Normal Multimodal Logics: Automatic Deduction and Logic.. - Matteo Baldoni (1998) (Correct)
0.4: Strongly Analytic Tableaux for Normal Modal Logics - Massacci (1994) (Correct)
0.4: A Prefixed Tableau Calculus for Plan Generation in Linear.. - Cerrito, Mayer (1997) (Correct)
Related documents from co-citation: More All
4: A new clausal class decidable by hyperresolution - Georgieva, Hustadt et al. - 2002
2: A Brainiac theorem prover (context) - Schulz - 2002
2: ary description logic (context) - Lutz, Sattler et al. - 1999
BibTeX entry: (Update)
Matteo Baldoni. Normal multimodal logic with interaction axioms. In D. Basin, pages 33--58. Kluwer, Dordrecht, 2000. http://citeseer.ist.psu.edu/baldoni00normal.html More
@misc{ baldoni00normal,
author = "M. Baldoni",
title = "Normal multimodal logic with interaction axioms",
text = "Matteo Baldoni. Normal multimodal logic with interaction axioms. In D.
Basin, pages 33--58. Kluwer, Dordrecht, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/baldoni00normal.html" }
Citations (may not include all citations):1911 Introduction to automata theory (context) - Hopcroft, Ullman - 1979
362 Dynamic Logic - Harel - 1984
343 Modal Logic: an Introduction (context) - Chellas - 1980
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
240 A Guide to Completeness and Complexity for Modal Logics of K.. (context) - Halpern, Moses - 1992
195 Propositional Dynamic Logic of Regular Programs (context) - Fischer, Ladner - 1979
137 Local model checking in the modal mucalculus (context) - Stirling, Walker - 1991
107 A New Introduction to Modal Logic (context) - Hughes, Cresswell - 1996
71 and Languages: A survey (context) - Wooldridge, Jennings et al. - 1995
60 Semantics-Based Translation Methods for Modal Logics (context) - Ohlbach - 1991
53 Strongly Analytic Tableaux for Normal Modal Logics - Massacci - 1994
45 Translation methods for non-classical logics: An overview (context) - Ohlbach - 1993
42 Modal Theorem Proving: An equational viewpoint (context) - Auffray, Enjalbert - 1992
36 An overview of temporal and modal logic programming - Orgun, Ma - 1994
32 TABLEAUX: A General Theorem Prover for Modal Logics (context) - Catach - 1991
27 Free Variable Tableaux for Propositional Modal Logics - Beckert, Gor - 1997
24 Labelled Propositional Modal Logics: Theory and Practice - Basin, Matthews et al. - 1997
22 Modal Resolution in Clausal Form (context) - Enjalbert, nas et al. - 1989
21 First-Order Modal Logic Theorem Proving and Functional Simul.. (context) - Nonnengart - 1993
19 Clarendon Press (context) - Chagrov, Zakharyaschev - 1997
19 Normal Multimodal Logics (context) - Catach - 1988
17 An Introduction to Executable Modal and Temporal Logics (context) - Fisher, Owens - 1993
16 Tableaux Methods for Modal and Temporal Logics (context) - Gor
16 MOLOG: A System that extends Prolog with Modal Logic (context) - nas, Cerro - 1986
15 LDS - Labelled Deductive Systems (context) - Gabbay - 1996
12 Labelled Tableaux for Multi-Modal Logics - Governatori - 1995
12 Kluwer Academic Publishers (context) - D'Agostino, Gabbay et al. - 1999
11 A Modal Programming Language for Representing Complex Action.. - Baldoni, Giordano et al. - 1998
9 Tableaux and Algorithms for Propositional Dynamic Logic with.. (context) - De Giacomo, Massacci - 1996
9 Journal of Logic and Computation (context) - D'Agostino, Modadori et al. - 1994
9 Normal Multimodal Logics: Automatic Deduction and Logic Prog.. - Baldoni - 1998
9 A Tableau Calculus for Multimodal Logics and Some (context) - Baldoni, Giordano et al. - 1998
8 Modal Tableaux with Propagation Rules and Structural Rules - Castilho, nas et al. - 1998
7 Optimized Translation of Multi Modal Logic into Predicate Lo.. (context) - Ohlbach - 1993
7 Modal Deduction with Applications in Epistemic and Temporal .. (context) - nas, Cerro et al. - 1995
6 A generalization of analytic deduction via labelled systems (context) - D'Agostino, Gabbay - 1994
6 Distributed Modal Theorem Proving with KE (context) - Cunningham, Pitt - 1996
5 How to use Modalities and Sorts in Prolog (context) - Nonnengart - 1994
5 Labelled Proofs for Quantified Modal Logic - Artosi, Benassi et al. - 1996
4 Optimization of deduction for multi-modal logics (context) - Gasquet - 1993
2 A Modal Extention of Logic Programming: Modularity (context) - Baldoni, Giordano et al. - 1998
2 Logique et Analyse (context) - nas, Cerro et al. - 1988
2 Generalizing Propositional Modal Logics using Labelled Deduc.. (context) - Russo - 1996
2 Some Lectures on Modal Logic (context) - Nerode - 1989
2 Universite Pierre et Marie Curie (context) - Catach, Multimodales - 1989
1 The equational theory of CA 3 is undecidable (context) - Moddux - 1980
1 Special issue on Natural Deduction edited by F (context) - Basin, Matthews et al. - 1998
1 Highway to the Danger Zone (context) - Krancht - 1995
1 A Topography of Labelled Model Logics (context) - Basin, Matthews et al. - 1996
Documents on the same site (http://www.di.unito.it/cgi-bin/bibliography/bibsearch_argo?author=Baldoni): More
A Modal Extension of Logic Programming - Baldoni, Giordano, Martelli (1994) (Correct)
Translating a Modal Language with Embedded Implication.. - Baldoni, Giordano.. (1995) (Correct)
An Abductive Proof Procedure for Reasoning about.. - Baldoni, Giordano, .. (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