Pages that link to "Item:Q1119565"
From MaRDI portal
The following pages link to The complexity of reasoning about knowledge and time. I: Lower bounds (Q1119565):
Displayed 21 items.
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- First-order temporal verification in practice (Q851137) (← links)
- Knowledge condition games (Q1006447) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Modelling knowledge and action in distributed systems (Q1262142) (← links)
- Common knowledge and update in finite environments (Q1383157) (← links)
- Modeling belief in dynamic systems. I: Foundations (Q1389534) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- The price of universality (Q1815426) (← links)
- Modal logic, truth, and the master modality. (Q1857362) (← links)
- Knowledge and communication: A first-order theory (Q2457657) (← links)
- Some comments on history based structures (Q2475431) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- The logic of knowledge based obligation (Q2500829) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall (Q3393383) (← links)
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
- Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Q4236067) (← links)