Computation of temporal operators

Logique Et Analyse 28 (10):137 (1985)
  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: 91,709

External links

  • This entry has no external links. Add one.
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

L. Farinas and E. ORLOWSKA, Preface 115 P. WOLPER, The tableau method for temporal logic: an over-view 119 M. MICHEL, Computation of temporal operators 137. [REVIEW]L. Farinas del Cerro - forthcoming - Logique Et Analyse.
Stability, Sequentiality and Demand Driven Evaluation in Data ow.Arnon Avron - unknown
Representation operators and computation.Brendan Kitts - 1999 - Minds and Machines 9 (2):223-240.
Sorts and operators for temporal semantics.Alex Lascarides - manuscript
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
Storage operators and directed lambda-calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.
Expressive completeness of temporal logic of trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.
Dummett on temporal operators.J. Butterfield - 1984 - Philosophical Quarterly 34 (134):31-42.
Explaining computation without semantics: Keeping it simple.Nir Fresco - 2010 - Minds and Machines 20 (2):165-181.
Review: N. V. Belakin, Computation of Effective Operators on Turing Machines with Restricted Erasure. [REVIEW]Albert A. Mullin - 1972 - Journal of Symbolic Logic 37 (1):198-198.
Operators on branched quantifiers.Mark A. Brown - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 21--61.
Cognition is not computation: The argument from irreversibility.Selmer Bringsjord - 1997 - Synthese 113 (2):285-320.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
Probability Operators.Seth Yalcin - 2010 - Philosophy Compass 5 (11):916-37.

Analytics

Added to PP
2014-01-25

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references