Pages that link to "Item:Q3457681"
From MaRDI portal
The following pages link to Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681):
Displaying 8 items.
- Computation as social agency: what, how and who (Q1641025) (← links)
- A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)
- Axiomatization of hybrid logic of link variations (Q6546612) (← links)
- The modal logics of the poison game (Q6601761) (← links)
