A. Herzig. Raisonnement automatique en logique modale et algorithmes d'unification. PhD thesis, Univ. Paul-Sabatier, Toulouse, 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
An O((n.log n)³)-time transformation from Grz into.. - Demri, Goré (1998) (Correct)
Deciding Regular Grammar Logics With Converse Through.. - Demri, de Nivelle (2003) (3 citations) (Correct)
Mechanised Reasoning and Model Generation for Extended Modal.. - Schmidt, Hustadt (2003) (Correct)
Using Resolution for Testing Modal Satisfiability and.. - Hustadt, Schmidt (2000) (1 citation) (Correct)
Resolution is a Decision Procedure for Many Propositional Modal.. - Schmidt (1996) (8 citations) (Correct)
Labelled Modal Logics: Quantifiers - Basin, Matthews, Viganò (1998) (7 citations) (Correct)
Natural Deduction for Non-Classical Logics - Basin, Matthews, Vigano (1996) (7 citations) (Correct)
MSPASS: Modal Reasoning by Translation and First-Order.. - Hustadt, Schmidt (2000) (4 citations) (Correct)
Computer Support for the Development and Investigation of Logics - Ohlbach (1994) (1 citation) (Correct)
Functional Translation and Second-Order Frame Properties of.. - Ohlbach, Schmidt (1995) (4 citations) (Correct)
Tractable Transformations from Modal Provability Logics.. - Demri, Goré (1999) (2 citations) (Correct)
Resolution is a Decision Procedure for Many Propositional Modal.. - Schmidt (1997) (8 citations) (Correct)
An O((n.log n)³)-time transformation from Grz into.. - Demri, Goré (1998) (Correct)
Killer Transformations - Hans Jürgen Ohlbach, Dov Gabbay.. (1994) (Correct)
Labelled Modal Logics: Quantifiers - Basin, Matthews, Viganò (1998) (7 citations) (Correct)
Resolution is a Decision Procedure for Many Propositional Modal.. - Schmidt (1997) (8 citations) (Correct)
An O((n log n)³)-time transformation from Grz .. - Stéphane.. (1998) (Correct)
E-Unification for Subsystems of S4 - Renate A. Schmidt (Correct)
Natural Deduction for Non-Classical Logics - Basin, Matthews, Viganò (1996) (7 citations) (Correct)
Translating Graded Modalities into Predicate Logic - Ohlbach, Schmidt, Hustadt (1995) (7 citations) (Correct)
Mechanised Reasoning and Model Generation for Extended Modal.. - Schmidt, Hustadt (2003) (Correct)
Building Logic Toolboxes - Heguiabehere (2003) (Correct)
MSPASS: Subsumption Testing with SPASS - Hustadt, Schmidt, Weidenbach (1999) (9 citations) (Correct)
MSPASS: Subsumption Testing with SPASS - Hustadt, Schmidt, Weidenbach (1999) (9 citations) (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