Pages that link to "Item:Q1863826"
From MaRDI portal
The following pages link to Equality and monodic first-order temporal logic (Q1863826):
Displaying 14 items.
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- The monodic fragment of propositional term modal logic (Q2001365) (← links)
- Parameterized verification of leader/follower systems via first-order temporal logic (Q2149965) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Decidable cases of first-order temporal logic with functions (Q2426731) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Complexity of monodic guarded fragments over linear and real time (Q2576942) (← links)
- (Q2757840) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Implementing a fair monodic temporal logic prover (Q3568221) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
- The serializability problem for a temporal logic of transaction queries (Q3647287) (← links)
