# Temporal Patterns and Modal Structure

@article{Benthem1999TemporalPA, title={Temporal Patterns and Modal Structure}, author={Johan van Benthem}, journal={Log. J. IGPL}, year={1999}, volume={7}, pages={7-26} }

Temporal logic arose at the border of philosophy and linguistics. From the seventies onward, it became a major tool also in computer science and artificial intelligence, which have become 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 point out some new types of open research questions. to appear in A. Montanari, A. Policriti & Y. Venema, eds. special issue on Temporal Logic…

## 12 Citations

Propositional Tense Logic for Finite Trees

- Computer Science
- 2001

This work presents a formalism that employs propositional tense logic (PTL) to specify structural constraints on labeled ordered trees and demonstrates that especially the formal properties of the tense logic restricts the transitive closure operator in a way that closely accords with the characteristics of structural descriptions in linguistic syntax.

Modal Logics of Space

- PhilosophyHandbook of Spatial Logics
- 2007

The interest of Space remains intriguing – both for mathematical reasons, and given the amount of work in CS and AI on visual reasoning and image processing, which involves logic of spatial structures.

Quantification over Sets of Possible Worlds in Branching-Time Semantics

- Philosophy, Computer ScienceStud Logica
- 2006

In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of theOriginal Prior semantics.

Temporal representation and reasoning in artificial intelligence: Issues and approaches

- Computer ScienceAnnals of Mathematics and Artificial Intelligence
- 2004

The major emerging trends in temporal representation and reasoning as well as the relationships with other well‐established areas, such as temporal databases and logic programming are analyzed.

Formal Ontology of Action: a Unifying Approach

- Philosophy
- 2007

OntoSTIT+ is a theory which specifies the meaning of the concepts of agency and action, and facilitates meaning negotiation among agents, as long as the concept of action is taken into account.

Topological Aspects of Branching-Time Semantics

- PhilosophyStud Logica
- 2003

It will be proved that the new notion of topological validity for Ockhamist temporal formulae is equivalent to validity with respect to bundled trees.

Logical Theories for Fragments of Elementary Geometry

- PhilosophyHandbook of Spatial Logics
- 2007

We survey models and theories of geometric structures of parallelism, orthogonality, incidence, betweenness and order, thus gradually building towards full elementary geometry of Euclidean spaces, in…

First-Order Definability of Transition Structures

- Computer ScienceJ. Log. Lang. Inf.
- 2019

A class of first-order definable Kripke structures that preserves validity w.r.t. transition structures and is extended to the entire language by means of a quite natural ‘Henkin move’, i.e. by relaxing the notion of validity to bundled structures.

Man Muss Immer Umkehren

- Philosophy
- 2008

It is shown how standard predicate-logical axioms can be read as constraints on the sort of abstract 'process models' that lie at the heart of first-order semantics, properly understood.

Development of DSM's hybrane® hyperbranched polyesteramides

- Chemistry
- 2004

The development of DSM's Hybrane® hyperbranched poly(ester amides) is described. The monomer (1) for the hyperbranched polyester is obtained from the reaction of a cyclic anhydride with diisopropanol…

## References

SHOWING 1-10 OF 107 REFERENCES

Time, logic and computation

- PhilosophyREX Workshop
- 1988

A clear continuity of logical concerns emerges between philosophy, linguistics and computer science, and the latter adds several new themes and perspectives which might well give it a significant impact on the earlier standard enterprise.

Advanced modal logic

- Philosophy
- 1996

This chapter is a continuation of the preceding one, and it begins at the place where the authors of Basic Modal Logic left us about fifteen years ago, and based upon understanding it as part of mathematical logic.

The Range of Modal Logic

- PhilosophyJ. Appl. Non Class. Logics
- 1999

It is shown that ‘modal logic’ as a genre of logical systems has a much wider scope than originally conceived, and that it has not reached its limits yet.

Language in Action: Categories, Lambdas and Dynamic Logic

- Computer Science
- 1995

Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science.

Hierarchies of modal and temporal logics with reference pointers

- Computer ScienceJ. Log. Lang. Inf.
- 1996

The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions.

Process Operations in Extended Dynamic Logics

- Computer ScienceLICS
- 1998

This work will develop the logic of guarded fragments as a form of process theory, in particular, moving from sequential to parallel process operations correlates with moving to first-order fragments that are close to, or perhaps just over the decidable-undecidable fence.

Applied logic : how, what and why : logical approaches to natural language

- Computer Science
- 1995

A model-Based Theory of Modality Assignment and Implicit and Explicit Definability in Modal and Temporal Logics, and Update Semantics for Propositional Texts.

Eventualities in Time

- Computer ScienceGrammars
- 2000

There is a mathematical problem concerning the localization function used in Discourse Representation Theory as presented in Kamp and Reyle (1993), and a remedy for this problem is proposed.

Automatic Translation of Natural Language System Specifications into Temporal Logic

- Computer Science
- 1996

This paper presents a method for automatically translating natural language specifications into temporal logic, linguistically based on a modern formalism for discourse representation, which overcomes a well-known obstacle of applying model-checking industrially.