Temporal Logic Model Checkers as Applied in Computer Science

In Dariusz Surowik (ed.), Logic in knowledge representation and exploration. Białystok: University of Białystok. pp. 13 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

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

Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
Mathematical logic for computer science.M. Ben-Ari - 1993 - New York: Prentice-Hall.
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.Michael Wooldridge, Clare Dixon & Michael Fisher - 1998 - Journal of Applied Non-Classical Logics 8 (3):225-258.
Review: Antony Galton, Temporal Logics and Their Applications; Antony Galton, Temporal Logic and Computer Science: An Overview. [REVIEW]Luis Farinas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.
Social laws in alternating time: Effectiveness, feasibility, and synthesis.Wiebe van der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.
Computer-supported resolution of measurement conflicts: A case-study in materials science. [REVIEW]Hidde de Jong, Nicolaas Mars & Paul van der Vet - 1999 - Foundations of Science 4 (4):427-461.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Elements of Finite Model Theory.Leonid Libkin - 2004 - Springer.
Temporal equilibrium logic: a survey.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):2-24.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Expressive completeness of temporal logic of trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.

Analytics

Added to PP
2014-01-28

Downloads
22 (#712,004)

6 months
1 (#1,475,915)

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

A Computing Procedure for Quantification Theory.Martin Davis & Hilary Putnam - 1966 - Journal of Symbolic Logic 31 (1):125-126.
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.
Starting and Stopping.C. L. Hamblin - 1969 - The Monist 53 (3):410-425.
A Machine Program for Theorem-Proving.Martin Davis, George Logemann & Donald Loveland - 1967 - Journal of Symbolic Logic 32 (1):118-118.
Temporal Logic.Robert A. Bull - 1975 - Journal of Symbolic Logic 40 (2):252-253.

View all 9 references / Add more references