H. J. Ohlbach and R. A. Schmidt. Functional translation and second-order frame properties of modal logics. J. Logic Computat., 7(5):581--603, 1997. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Combinations of Modal Logics - Bennett, Dixon, Fisher, Hustadt, al. (2000) (2 citations) (Correct)
PSpace Reasoning for Graded Modal Logics - Tobies (2000) (6 citations) (Correct)
PSpace Reasoning for Graded Modal Logics - Tobies (1999) (6 citations) (Correct)
A PSpace Algorithm for Graded Modal Logic - Tobies (1999) (8 citations) (Correct)
A Survey of Decidable First-Order Fragments and.. - Hustadt, Schmidt.. (2004) Self-citation (Schmidt) (Correct)
Symbolic Arithmetical Reasoning with Qualified Number.. - Ohlbach, Schmidt, Hustadt Self-citation (Ohlbach Schmidt) (Correct)
Mechanised Reasoning and Model Generation for Extended Modal.. - Schmidt, Hustadt (2003) Self-citation (Schmidt) (Correct)
An Empirical Analysis Of Modal Theorem Provers - Hustadt, Schmidt (6 citations) Self-citation (Schmidt) (Correct)
A Resolution Decision Procedure for Fluted Logic - Schmidt, Hustadt (2000) (1 citation) Self-citation (Schmidt) (Correct)
Mechanised Reasoning and Model Generation for Extended Modal.. - Schmidt, Hustadt (2003) Self-citation (Schmidt) (Correct)
On the Relationship Between Decidable Fragments.. - Georgieva, Hustadt.. Self-citation (Schmidt) (Correct)
A Resolution Decision Procedure for Fluted Logic - Schmidt, Hustadt (2000) (1 citation) Self-citation (Schmidt) (Correct)
Using Resolution for Testing Modal Satisfiability and.. - Hustadt, Schmidt (2000) (1 citation) Self-citation (Schmidt) (Correct)
MSPASS: Modal Reasoning by Translation and First-Order.. - Hustadt, Schmidt (2000) (4 citations) Self-citation (Schmidt) (Correct)
MSPASS: Subsumption Testing with SPASS - Hustadt, Schmidt, Weidenbach (1999) (9 citations) Self-citation (Schmidt) (Correct)
On Evaluating Decision Procedures for Modal Logic - Hustadt, Schmidt (1997) (63 citations) Self-citation (Schmidt) (Correct)
MSPASS: Subsumption Testing with SPASS - Hustadt, Schmidt, Weidenbach (1999) (9 citations) Self-citation (Schmidt) (Correct)
Optimised Functional Translation and Resolution - Hustadt, Schmidt, Weidenbach (1998) Self-citation (Schmidt) (Correct)
E-Unification for Subsystems of S4 - Renate A. Schmidt Self-citation (Schmidt) (Correct)
Translating Graded Modalities into Predicate Logic - Ohlbach, Schmidt, Hustadt (1995) (7 citations) Self-citation (Ohlbach Schmidt) (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