A modal logic with temporal variables

Notre Dame Journal of Formal Logic 19 (4):558-578 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888503

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

Primitive worlds.Takashi Yagisawa - 2002 - Acta Analytica 17 (1):19-37.
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
Products of modal logics. Part 3: Products of modal and temporal logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
Die stoische Modallogik (Stoic Modal Logic).Susanne Bobzien - 1986 - Wuerzburg: Koenigshausen and Neumann.
Labelled resolution for classical and non-classical logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Plurality and temporal modification.Ron Artstein & Nissim Francez - 2006 - Linguistics and Philosophy 29 (3):251 - 276.
On the logic of natural kinds.Nino Cocchiarella - 1976 - Philosophy of Science 43 (2):202-222.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.

Analytics

Added to PP
2010-08-24

Downloads
12 (#1,088,955)

6 months
5 (#646,314)

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

No references found.

Add more references