Modalities in Temporal Logic

Humana Mente 3 (8) (2009)
  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,219

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

Modalities in Temporal Logic of Agency.Alberto Zanardo - 2009 - Humana. Mente 8:1-15.
How to mix alethic, deontic, temporal, individual modalities.Patrice Bailhache - 1998 - Logica Trianguli 2:3-16.
Die stoische Modallogik (Stoic Modal Logic).Susanne Bobzien - 1986 - Wuerzburg: Koenigshausen and Neumann.
Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities.Avi Sion - 1996 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
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.
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
Necessity and unactualized possibilities in Aristotle.Michael J. White - 1980 - Philosophical Studies 38 (3):287 - 298.
Review: Nicholas Rescher, Temporal Modalities in Arabic Logic. [REVIEW]Hans Kamp - 1973 - Journal of Symbolic Logic 38 (2):325-326.
Alethic modalities, temporal modalities, and representation.Jiri Benovsky - 2015 - Kriterion - Journal of Philosophy 29 (1):19-36.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications.Wiebe van Der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
Collapsing Modalities.Lloyd Humberstone - 2009 - Notre Dame Journal of Formal Logic 50 (2):119-132.
Finite and Physical Modalities.Mauro Gattari - 2005 - Notre Dame Journal of Formal Logic 46 (4):425-437.
Discrete linear temporal logic with current time point clusters, deciding algorithms.V. Rybakov - 2008 - Logic and Logical Philosophy 17 (1-2):143-161.
Paradoxes of Interaction?Johannes Stern & Martin Fischer - 2015 - Journal of Philosophical Logic 44 (3):287-308.

Analytics

Added to PP
2015-02-05

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?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references