Dynamic linear time temporal logic

&
Annals of Pure and Applied Logic 96 (1-3):187-207 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(98)00039-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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

Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
Temporal non-commutative logic: Expressing time, resource, order and hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
Linear, branching time and joint closure semantics for temporal logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
Cut-elimination and Completeness in Dynamic Topological and Linear-Time Temporal Logics.Norihiro Kamide - 2011 - Logique Et Analyse 54 (215):379-394.
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.
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Discrete linear temporal logic with current time point clusters, deciding algorithms.V. Rybakov - 2008 - Logic and Logical Philosophy 17 (1-2):143-161.
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.
Temporal languages for epistemic programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Bounded linear-time temporal logic: A proof-theoretic investigation.Norihiro Kamide - 2012 - Annals of Pure and Applied Logic 163 (4):439-466.
Dynamic epistemic logic with branching temporal structures.Tomohiro Hoshi & Audrey Yap - 2009 - Synthese 169 (2):259 - 281.

Analytics

Added to PP
2014-01-16

Downloads
92 (#186,128)

6 months
3 (#976,504)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dynamic linear time temporal logic.Jesper G. Henriksen & P. S. Thiagarajan - 1999 - Annals of Pure and Applied Logic 96 (1-3):187-207.

Add more citations

References found in this work

Tense Logic and the Theory of Linear Order.Johan Anthony Wilem Kamp - 1968 - Dissertation, University of California, Los Angeles
Dynamic linear time temporal logic.Jesper G. Henriksen & P. S. Thiagarajan - 1999 - Annals of Pure and Applied Logic 96 (1-3):187-207.

Add more references