I. Hodkinson, F. Wolter, and M. Zakharyaschev. Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic, 106:85--134, 2000. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Towards the Implementation of First-Order Temporal.. - Konev, Degtyarev (Correct)
Monodic Temporal Resolution - Degtyarev, Fisher, Konev (2003) (Correct)
Timed Concurrent Constraint Programming: Decidability Results.. - Valencia (2003) (Correct)
Exploring the Monodic Fragment of First-Order Temporal.. - Degtyarev, Fisher, Konev (2003) (Correct)
Monodic Temporal Resolution: the Expanding Domain Case - Degtyarev, Fisher, Konev (2003) (Correct)
Towards the Implementation of First-Order Temporal .. - Konev, Degtyarev, .. (2003) (Correct)
Proofs and Expressiveness in Alethic Modal Logic - de Rijke, Wansing (2001) (Correct)
On the Expressivity and Complexity of Temporal Conceptual.. - Artale, Franconi (2000) (Correct)
A deductive decision procedure for a restricted FTL - Pliuskevicius (Correct)
On the freeze quantifier in constraint LTL: decidability.. - Demri, Lazic, Nowak (2005) (Correct)
On the freeze quantifier in constraint LTL: decidability.. - Demri, Lazic, Nowak (2005) (Correct)
Handling Equality in Monodic Temporal Resolution - Boris Konev Anatoli (Correct)
On the Decidability of Timed CCP - Valencia (Correct)
Mechanising First-Order Temporal Resolution - Konev, Degtyarev, Dixon.. (2003) (Correct)
Fixpoint Extensions of Temporal Description Logics - Franconi, Toman (Correct)
Monodic Temporal Resolution - Anatoly Degtyarev Michael (2003) (Correct)
Towards the Implementation of First-Order Temporal.. - Expanding Domain Case (Correct)
Fixpoint Extensions of Temporal Description Logics - Enrico Franconi Faculty (Correct)
The DLR_US Temporal Description Logic - Artale, Franconi, Mosurovic, al. (2 citations) Self-citation (Wolter Zakharyaschev) (Correct)
On Non-local Propositional and Weak Monodic Quantified CTL* - Bauer, Hodkinson, Al. (2004) Self-citation (Hodkinson Wolter Zakharyaschev) (Correct)
A Temporal Description Logic for Reasoning over.. - Artale, Franconi, .. (2002) (5 citations) Self-citation (Wolter Zakharyaschev) (Correct)
The DLR_US Temporal Description Logic - Artale, Franconi, al. Self-citation (Wolter Zakharyaschev) (Correct)
Monodic Packed Fragment With Equality is Decidable - Hodkinson (2001) (7 citations) Self-citation (Hodkinson) (Correct)
A Temporal Description Logic for Reasoning over.. - Artale, Franconi, .. (2002) (5 citations) Self-citation (Wolter Zakharyaschev) (Correct)
On non-local propositional and one-variable quantified.. - Bauer, Hodkinson.. Self-citation (Hodkinson Wolter Zakharyaschev) (Correct)
Temporalising Tableaux - Kontchakov, Lutz, Wolter.. (4 citations) Self-citation (Wolter Zakharyaschev) (Correct)
On Non-local Propositional and Weak Monodic Quantified.. - Bauer, Hodkinson.. Self-citation (Hodkinson Wolter Zakharyaschev) (Correct)
Decidable and Undecidable Fragments of First-Order.. - Hodkinson, Wolter.. (2002) Self-citation (Hodkinson Wolter Zakharyaschev) (Correct)
A Temporal Description Logic for Reasoning over.. - Artale, Franconi, .. (2002) (5 citations) Self-citation (Wolter Zakharyaschev) (Correct)
On the Products of Linear Modal Logics - Reynolds, Zakharyaschev (1999) (9 citations) Self-citation (Zakharyaschev) (Correct)
Temporal Description Logic - Artale, Franconi, Mosurovic, Wolter, .. (2001) (23 citations) Self-citation (Wolter Zakharyaschev) (Correct)
Qualitative Spatio-Temporal Representation and Reasoning.. - Wolter, Zakharyaschev (2001) (8 citations) Self-citation (Wolter Zakharyaschev) (Correct)
Reasoning over Conceptual Schemas and Queries in.. - Artale, Franconi.. (2001) (1 citation) Self-citation (Wolter Zakharyaschev) (Correct)
Reasoning over Conceptual Schemas and Queries in.. - Artale, Franconi.. (2001) (1 citation) Self-citation (Wolter Zakharyaschev) (Correct)
Reasoning over Conceptual Schemas and Queries in.. - Artale, Franconi.. (2001) (1 citation) Self-citation (Wolter Zakharyaschev) (Correct)
A Tableau Calculus for Temporal Description Logic.. - Lutz, Sturm.. (2001) (1 citation) Self-citation (Wolter Zakharyaschev) (Correct)
Common Knowledge and Quantification - Sturm, Wolter, Zakharyaschev Self-citation (Wolter Zakharyaschev) (Correct)
A Tableau Calculus for Temporal Description Logic.. - Lutz, Sturm.. (2001) (1 citation) Self-citation (Wolter Zakharyaschev) (Correct)
A tableau decision algorithm for modalized ALC with.. - Lutz, Sturm.. (2000) Self-citation (Wolter Zakharyaschev) (Correct)
Common Knowledge and Quantification - Sturm, Wolter, Zakharyaschev Self-citation (Wolter Zakharyaschev) (Correct)
Loosely Guarded Fragment of First-Order Logic Has the Finite.. - Hodkinson (2000) (1 citation) Self-citation (Hodkinson) (Correct)
Monodic Epistemic Predicate Logic - Sturm, Wolter, Zakharyaschev (2000) Self-citation (Wolter Zakharyaschev) (Correct)
First-order expressivity for S5-models: modal vs. two-sorted.. - Sturm, Wolter (2000) Self-citation (Wolter) (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