Pages that link to "Item:Q1863828"
From MaRDI portal
The following pages link to Monodic packed fragment with equality is decidable (Q1863828):
Displaying 13 items.
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- First-order temporal verification in practice (Q851137) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Axiomatizing the monodic fragment of first-order temporal logic (Q1849866) (← links)
- Equality and monodic first-order temporal logic (Q1863826) (← 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)
- Monodic temporal logic with quantified propositional variables (Q2893321) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- (Q3384090) (← links)
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)