Temporal patterns and modal structure

Logic Journal of the IGPL 7 (1):7-26 (1999)
  Copy   BIBTEX

Abstract

Temporal logic arose at the border of philosophy and linguistics. From the seventies onward, it because a major tool also in computer science and artificial intelligence, which have turned into the most powerful source of new logical developments since. We discuss some recent themes demonstrating new connections with modal logic. In the course of this, we also point out some new types of open research questions

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/7.1.7

Links

PhilArchive



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

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

A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (1):24-38.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
Primitive worlds.Takashi Yagisawa - 2002 - Acta Analytica 17 (1):19-37.
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations.Renwei Li & Jose Carmo - 1995 - Logic Journal of the IGPL 3 (5):765-790.
Products of modal logics. Part 3: Products of modal and temporal logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
Categorial inference and modal logic.Natasha Kurtonina - 1998 - Journal of Logic, Language and Information 7 (4):399-411.
Plurality and temporal modification.Ron Artstein & Nissim Francez - 2006 - Linguistics and Philosophy 29 (3):251 - 276.
Die stoische Modallogik (Stoic Modal Logic).Susanne Bobzien - 1986 - Wuerzburg: Koenigshausen and Neumann.
Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
A Minimal Hybrid Logic For Intervals.Altaf Hussain - 2006 - Logic Journal of the IGPL 14 (1):35-62.
Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.
Modality, si! Modal logic, no!John Mccarthy - 1997 - Studia Logica 59 (1):29-32.

Analytics

Added to PP
2015-02-04

Downloads
15 (#893,994)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.
First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references