Using temporal logics of knowledge for specification and verification—a case study

Journal of Applied Logic 4 (1):50-78 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Temporal and Dynamic Logic.Frank Wolter & Michael Wooldridge - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
Linear-time temporal logics with Presburger constraints: an overview ★.Stéphane Demri - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):311-347.
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.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,062,726)

6 months
5 (#707,850)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.

Add more citations

References found in this work

Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.

Add more references