Pages that link to "Item:Q4487260"
From MaRDI portal
The following pages link to Completeness of neighbourhood logic (Q4487260):
Displaying 9 items.
- Algebraic neighbourhood logic (Q929966) (← links)
- Completeness of a combination of neighbourhood logic and temporal logic (Q1882791) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic (Q2864394) (← links)
- A duration calculus with neighborhood modalities (Q2901191) (← links)
- Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
- Introducing Polymodal Neighbourhood Logics (Q5178960) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)