Pages that link to "Item:Q2576942"
From MaRDI portal
The following pages link to Complexity of monodic guarded fragments over linear and real time (Q2576942):
Displayed 5 items.
- The complexity of temporal logic over the reals (Q636345) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)