Runtime verification using the temporal description logic ALC-LTL revisited

&
Journal of Applied Logic 12 (4):584-613 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2014.09.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Verifying Temporal Heap Properties Specified via Evolution Logic.E. Yahav, T. Reps, M. Sagiv & R. Wilhelm - 2006 - Logic Journal of the IGPL 14 (5):755-783.
To know or not to know: epistemic approaches to security protocol verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.
Temporal and Dynamic Logic.Frank Wolter & Michael Wooldridge - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Verification of concurrent programs: the automata-theoretic framework.Moshe Y. Vardi - 1991 - Annals of Pure and Applied Logic 51 (1-2):79-98.
Reasoning about actions in dynamic linear time temporal logic.L. Giordano, A. Martelli & C. Schwind - 2001 - Logic Journal of the IGPL 9 (2):273-288.
Propositional temporal logics: decidability and completeness.O. Lichtenstein & A. Pneuli - 2000 - Logic Journal of the IGPL 8 (1):55-85.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Using temporal logics of knowledge for specification and verification—a case study.Clare Dixon - 2006 - Journal of Applied Logic 4 (1):50-78.
Von Wright on Historical causation1.Elazar Weinryb - 1974 - Inquiry: An Interdisciplinary Journal of Philosophy 17 (1-4):327-338.
Progression and Verification of Situation Calculus Agents with Bounded Beliefs.Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi & Stavros Vassos - 2016 - Studia Logica 104 (4):705-739.
Reasoning about sequences of memory states.Rémi Brochenin, Stéphane Demri & Etienne Lozes - 2010 - Annals of Pure and Applied Logic 161 (3):305-323.
The complexity of temporal logic over the reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
Probabilistic verification and approximation.Richard Lassaigne & Sylvain Peyronnet - 2008 - Annals of Pure and Applied Logic 152 (1):122-131.
Handling database updates in two-dimensional temporal logic.Marcelo Finger - 1992 - Journal of Applied Non-Classical Logics 2 (2):201-224.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,390,290)

6 months
2 (#1,203,746)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references