Temporal Patterns and Modal Structure

  title={Temporal Patterns and Modal Structure},
  author={Johan van Benthem},
  journal={Log. J. IGPL},
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… 
Propositional Tense Logic for Finite Trees
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
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
  • A. Zanardo
  • Philosophy, Computer Science
    Stud 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
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
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
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
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
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
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
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


Time, logic and computation
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
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
  • J. Benthem
  • Philosophy
    J. 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
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
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
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
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
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
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.
Representing Discourse in Context