Pages that link to "Item:Q2856051"
From MaRDI portal
The following pages link to First-order logics of braching time: on expressive power of temporal operators (Q2856051):
Displaying 6 items.
- A branching time logic with past operators (Q1337463) (← links)
- Investigation on fragments of first order branching temporal logic (Q2776809) (← links)
- Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics (Q2804041) (← links)
- Axiomatizing the Monodic Fragment of (Q3437256) (← links)
- (Q4929426) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)