Renate A. Schmidt  @ NUS Home/Search
Context Related
| mpisb.mpg.de/~schmi...Schmidt97b.ps.gz Cached: PS.gz PS PDF Image Update Help From: mpisb.mpg.de/~schmidt/publica... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) R. A. Schmidt abstract. The paper shows satisfiability in many propositional modal systems, including K, KD, KT and KB, their combinations as well as their multi-modal versions, can be decided by ordinary resolution procedures. This follows from a general result that resolution and condensing is a decision procedure for the satisfiability problem of formulae in so-called path logics. Path logics arise from propositional and normal uni- and multi-modal logics by the optimised functional... (Update)
Context of citations to this paper: More
.... [Lad77, SSS91, GS96] and the translation into first order logic followed by the application of an existing first order theorem prover [OS97, Sch97]. To compete with the dedicated algorithms, the second approach has to yield a decision procedure and it has This papers appeared...
.... procedures for modal logics are i) semantic tableaux and related methods [10, 2] ii) translations into classical rst order logics [15, 1]; and iii) reductions to the emptiness problem for certain (tree) automata [17, 14] Whereas highly optimized tableaux and translation...
Cited by: More
An Empirical Analysis Of Modal Theorem Provers - Hustadt, Schmidt (Correct)
An O((n.log n)³)-time transformation from Grz into.. - Demri, Goré (1998) (Correct)
The Inverse Method Implements the Automata Approach for Modal .. - Baader, Tobies (2001) (Correct)
Similar documents (at the sentence level):
49.2%: Resolution is a Decision Procedure for Many Propositional Modal.. - Schmidt (1996) (Correct)
30.3%: Resolution is a Decision Procedure for Many Propositional Modal.. - Schmidt (1997) (Correct)
6.0%: Optimised Modal Translation and Resolution - Schmidt (1997) (Correct)
Active bibliography (related documents): More All
0.2: Using Resolution for Testing Modal Satisfiability and.. - Hustadt, Schmidt (2000) (Correct)
0.2: Building Logic Toolboxes - Heguiabehere (2003) (Correct)
0.1: Destructive Modal Resolution - Fitting (1989) (Correct)
Similar documents based on text: More All
0.2: Nearest Neighbour Editing and Condensing Tools -.. - Dasarathy.. (2000) (Correct)
0.1: A Systematic Proof Theory for Several Modal Logics (Extended .. - Stewart, Stouppa (2004) (Correct)
0.0: MSPASS: Subsumption Testing with SPASS - Hustadt, Schmidt, Weidenbach (1999) (Correct)
Related documents from co-citation: More All
8: The computational complexity of provability in systems of modal propositional lo.. (context) - Ladner - 1977
5: On Evaluating Decision Procedures for Modal Logic - Hustadt, Schmidt - 1997
5: A correspondence theory for terminological logics: Preliminary report - Schild - 1991
BibTeX entry: (Update)
R. A. Schmidt. Resolution is a decision procedure for many propositional modal logics: Extended abstract. To appear in Proc. AiML'96, 1997. http://citeseer.comp.nus.edu.sg/130004.html More
@misc{ schmidt97resolution,
author = "R. Schmidt",
title = "Resolution is a decision procedure for many propositional modal logics:
Extended abstract",
text = "R. A. Schmidt. Resolution is a decision procedure for many propositional
modal logics: Extended abstract. To appear in Proc. AiML'96, 1997.",
year = "1997",
url = "citeseer.comp.nus.edu.sg/130004.html" }
Citations (may not include all citations):92 Building Decision Procedures for Modal Logics From Propositi.. - Giunchiglia - 1996
89 KRIS: Knowledge Representation and Inference System: System .. (context) - Baader - 1991
60 Semantics Based Translation Methods for Modal Logics (context) - Ohlbach - 1991
59 A Resolution Calculus for Modal Logics - Ohlbach - 1988
47 Resolution Strategies as Decision Procedures (context) - Jr - 1976
42 Modal Theorem Proving: An Equational Viewpoint (context) - Auffray - 1992
24 Raisonnement automatique en logique modale et algorithmes d'.. (context) - Herzig - 1989
7 Resolution Calculi for Modal Logics (context) - Mints - 1989
7 the Modal Logic K Plus Theories - Heuerding - 1996
1 Modal Resolutions (context) - Deduction, LNAI et al. - 1989
1 Functional Translation and SecondOrder Frame Properties of M.. (context) - Logic, -- et al. - 1995
1 IL: Argonne National Lab (context) - McCune - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.mpi-sb.mpg.de/~schmidt/publications/): More
Terminological Logics and Conceptual Graphs: An Historical.. - Schmidt (1994) (Correct)
Translating Graded Modalities into Predicate Logic - Ohlbach, Schmidt, Hustadt (1995) (Correct)
MOTEL User Manual Version 0.8.2 - Hustadt, Nonnengart, Schmidt, Timm (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.