Pages that link to "Item:Q1849866"
From MaRDI portal
The following pages link to Axiomatizing the monodic fragment of first-order temporal logic (Q1849866):
Displaying 26 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)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- Equality and monodic first-order temporal logic (Q1863826) (← links)
- Monodic packed fragment with equality is decidable (Q1863828) (← 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)
- Investigation on fragments of first order branching temporal logic (Q2776809) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- Monodic temporal logic with quantified propositional variables (Q2893321) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3100161) (← links)
- Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
- The serializability problem for a temporal logic of transaction queries (Q3647287) (← links)
- Deductive verification of simple foraging robotic behaviours (Q3653523) (← links)
- Fair Derivations in Monodic Temporal Reasoning (Q5191107) (← links)
- Automated Reasoning (Q5307069) (← links)
- A bounded domain property for an expressive fragment of first-order linear temporal logic (Q6487559) (← links)
