scientific article; zbMATH DE number 4119593

MaRDI QIDQ4733377zbMATH OpenFDO

Authors Johan van Benthem

Publication date 1989

zbMATH Keywords

completenesscomputational semanticsevent structuresfirst-order definabilityperiod structurepoint structuretemporal operatorstense logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1749195
• scientific article; zbMATH DE number 830431
• scientific article; zbMATH DE number 4119594
• scientific article; zbMATH DE number 4081516
• Tense logic and time

Cited in

(29)

• The INFOLOG linear tense propositional logic of events and transactions
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• The structure of multiplicatives
• Time and logic: A calculus of binary events
• Time structures. Formal description and algorithmic representation
• Temporal logic. From ancient ideas to artificial intelligence
• Logic of simultaneity
• scientific article; zbMATH DE number 4201699 (Why is no real title available?)
• scientific article; zbMATH DE number 4139719 (Why is no real title available?)
• scientific article; zbMATH DE number 4158604 (Why is no real title available?)
• The arrow of time through the lens of computing
• scientific article; zbMATH DE number 3922621 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• Temporal algebra
• Temporal patterns and modal structure
• Two theories of time
• scientific article; zbMATH DE number 1749139 (Why is no real title available?)
• scientific article; zbMATH DE number 1749195 (Why is no real title available?)
• scientific article; zbMATH DE number 1778918 (Why is no real title available?)
• scientific article; zbMATH DE number 195009 (Why is no real title available?)
• scientific article; zbMATH DE number 4119594 (Why is no real title available?)
• scientific article; zbMATH DE number 4119663 (Why is no real title available?)
• scientific article; zbMATH DE number 830431 (Why is no real title available?)
• Системы временной логики I: моменты, истории, деревья
• One way to determine the intervals in hybrid temporal logic
• Temporal Logics
• A complete axiomatization of timed bisimulation for a class of timed regular behaviours
• Temporal logic with accessibility temporal relations generated by time states themselves
• Tense logic and time

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)