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