scientific article; zbMATH DE number 4119593

zbMATH Open0683.68004MaRDI QIDQ4733377FDOQ4733377

Authors: Johan van Benthem 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1749195
• scientific article; zbMATH DE number 830431
• Publication:4733378
• scientific article; zbMATH DE number 4081516
• Tense logic and time

zbMATH Keywords

completenessfirst-order definabilitytense logicevent structurestemporal operatorscomputational semanticsperiod structurepoint structure

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Theory of software (68N99) Theory of computing (68Q99)

Cited In (21)

• Title not available (Why is that?)
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Title not available (Why is that?)
• The structure of multiplicatives
• One way to determine the intervals in hybrid temporal logic
• Title not available (Why is that?)
• A complete axiomatization of timed bisimulation for a class of timed regular behaviours
• The arrow of time through the lens of computing
• Title not available (Why is that?)
• Logic of simultaneity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal logic with accessibility temporal relations generated by time states themselves
• Tense logic and time
• The INFOLOG linear tense propositional logic of events and transactions
• Title not available (Why is that?)
• Temporal Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733377)