Pages that link to "Item:Q2563451"
From MaRDI portal
The following pages link to Axiomatising first-order temporal logic: Until and since over linear time (Q2563451):
Displaying 7 items.
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Incompleteness of first-order temporal logic with until (Q1123184) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
