M.J. Fischer and R.E. Ladner. Propositional dynamic logic of regular programs. Journal of Computer and Systems Sciences, Vol.18, pages 194-211, 1979. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
The Complexity of Enriched -Calculi - Piero Bonatti Carsten (Correct)
Regular Vacuity - Doron Bustan Alon (Correct)
Automata-Theoretic Techniques for Temporal Reasoning - Vardi (2006) (Correct)
A System for the Static Analysis of XPath - Geneves, Layaida (2006) (Correct)
The Complexity of Enriched μ-Calculi - Bonatti, Lutz, Murano, Vardi (Correct)
KAT-ML: An Interactive Theorem Prover for Kleene Algebra with .. - Aboul-Hosn, Kozen (Correct)
KAT-ML: An Interactive Theorem Prover for Kleene Algebra with .. - Aboul-Hosn, Kozen (Correct)
Model Checking Action- and State-Labelled Markov Chains - Baier, Cloth, Haverkort, al. (2004) (Correct)
Branching Time and Partial Order - In Temporal Logics (Correct)
A Hierarchical Completeness Proof for Interval Temporal Logic.. - Moszkowski (2003) (1 citation) (Correct)
Characterizing EF and EX tree logics - Bojanczyk, Walukiewicz (2004) (Correct)
Combining Dynamic Logic with Doxastic Modal Logics - Schmidt, Tishkovsky (2002) (Correct)
Relativized Action Complement for Dynamic Logics - Broersen (Correct)
Subtype Constraints in Modal Logic - Niehren, Priesnitz (2005) (Correct)
Trust and Commitment in Dynamic Logic - Jan Broersen Mehdi (2002) (1 citation) (Correct)
Implementation and Evaluation - Of Tableau Algorithm (Correct)
Deciding Agent Logics - From KARO to WSnS - Hirsch (2001) (Correct)
Metric Semantics for Reactive Probabilistic Processes - Norman (1997) (7 citations) (Correct)
Interaction between Knowledge, Action and Commitment.. - Schmidt, Tishkovsky.. (2003) (Correct)
Optimizing Description Logic Subsumption - Horrocks, Patel-Schneider (1999) (18 citations) (Correct)
Model Checking and Evidence Exploration - Dong, Ramakrishnan, Smolka (2003) (1 citation) (Correct)
Evolution of Collective Commitment during Teamwork - Dunin-Keplicz, Verbrugge (2003) (Correct)
2ATAs make DLs easy - Calvanese, De Giacomo, Lenzerini (2002) (2 citations) (Correct)
On the Universal and Existential Fragments of the.. - Henzinger, Kupferman.. (Correct)
Basic Description Logics - Baader, Nutt (2003) (14 citations) (Correct)
First 50 documents Next 50
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