scientific article; zbMATH DE number 4119593
From MaRDI portal
Recommendations
Cited in
(21)- scientific article; zbMATH DE number 830431 (Why is no real title available?)
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- The structure of multiplicatives
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- One way to determine the intervals in hybrid temporal logic
- scientific article; zbMATH DE number 4119594 (Why is no real title available?)
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours
- The arrow of time through the lens of computing
- scientific article; zbMATH DE number 195009 (Why is no real title available?)
- Logic of simultaneity
- Temporal logic with accessibility temporal relations generated by time states themselves
- Tense logic and time
- scientific article; zbMATH DE number 1749139 (Why is no real title available?)
- scientific article; zbMATH DE number 3922621 (Why is no real title available?)
- The INFOLOG linear tense propositional logic of events and transactions
- scientific article; zbMATH DE number 4139719 (Why is no real title available?)
- scientific article; zbMATH DE number 1749195 (Why is no real title available?)
- Temporal Logics
- scientific article; zbMATH DE number 4119663 (Why is no real title available?)
- scientific article; zbMATH DE number 4158604 (Why is no real title available?)
- scientific article; zbMATH DE number 1778918 (Why is no real title available?)
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)
