A propositional linear time logic with time flow isomorphic to ω2

, , &
Journal of Applied Logic 12 (2):208-229 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2014.03.002

Links

PhilArchive



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

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

Isomorphic formulae in classical propositional logic.Kosta Došen & Zoran Petrić - 2012 - Mathematical Logic Quarterly 58 (1):5-17.
An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.Erica Calardo & Vladimir Rybakov - 2007 - Logic Journal of the IGPL 15 (3):239-254.
Completeness of a first-order temporal logic with time-gaps.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - Theoretical Computer Science 160 (1-2):241-270.
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.
Degrees of orderings not isomorphic to recursive linear orderings.Carl G. Jockusch & Robert I. Soare - 1991 - Annals of Pure and Applied Logic 52 (1-2):39-64.
A Temporal Semantics for Basic Logic.Stefano Aguzzoli, Matteo Bianchi & Vincenzo Marra - 2009 - Studia Logica 92 (2):147-162.
Decision problems for propositional linear logic.Patrick Lincoln, John Mitchell, Andre Scedrov & Natarajan Shankar - 1992 - Annals of Pure and Applied Logic 56 (1-3):239-311.
Beyond a-and b-time.Clifford Williams - 2003 - Philosophia 31 (1-2):75-91.
Complexity of monodic guarded fragments over linear and real time.Ian Hodkinson - 2006 - Annals of Pure and Applied Logic 138 (1):94-125.
Does branching explain flow of time or the other way around?Petr Švarný - 2015 - Synthese 192 (7):2273-2292.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Polynomial-time abelian groups.Douglas Cenzer & Jeffrey Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):313-363.
Flow of time in bst/bcont models and related semantical observations.Petr Švarný - unknown
Every polynomial-time 1-degree collapses if and only if P = PSPACE.Stephen A. Fenner, Stuart A. Kurtz & James S. Royer - 2004 - Journal of Symbolic Logic 69 (3):713-741.
Feasible graphs with standard universe.Douglas Cenzer & Jeffrey B. Remmel - 1998 - Annals of Pure and Applied Logic 94 (1-3):21-35.

Analytics

Added to PP
2016-06-30

Downloads
22 (#705,671)

6 months
7 (#420,337)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.

Add more references