Time-Logic

Open Journal of Philosophy 7 (2):186-200 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.4236/ojpp.2017.72011

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Time Logic on the Move.Kuangming Wu - 2017 - Open Journal of Philosophy 7 (3):231-248.
On Time Logic.A. Grappone - 1991 - Metalogicon 1:46-77.
Time, Logic, and What There Is.Leonard Earl Brewster - 1971 - Dissertation, Southern Illinois University at Carbondale
Linguistic Foundations for a Time-Logic.Rom Harré - 1960 - Atti Del XII Congresso Internazionale di Filosofia 5:213-220.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
The decision problem for branching time logic.Yuri Gurevich & Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (3):668-681.
A note about the axioms for branching-time logic.Alberto Zanardo - 1992 - Notre Dame Journal of Formal Logic 33 (2):225-228.
Prediction in Branching Time Logic.Giacomo Bonanno - 2001 - Mathematical Logic Quarterly 47 (2):239-248.
A propositional linear time logic with time flow isomorphic to ω2.Bojan Marinković, Zoran Ognjanović, Dragan Doder & Aleksandar Perović - 2014 - Journal of Applied Logic 12 (2):208-229.
A complete deductive-system for since-until branching-time logic.Alberto Zanardo - 1991 - Journal of Philosophical Logic 20 (2):131 - 148.

Analytics

Added to PP
2018-01-24

Downloads
1 (#1,913,683)

6 months
11 (#272,000)

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

Story-Thinking: Cultural Meditations.Kuang-Ming Wu - 2010 - Nova Science Publishers.

Add more references