The following pages link to Swap logic (Q5176675):
Displaying 11 items.
- Introspection as an action in relational models (Q2011198) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- Introducing fuzzy reactive graphs: a simple application on biology (Q2099983) (← links)
- The modal logic of copy and remove (Q2401633) (← links)
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681) (← links)
- Modal logic and invariance (Q3643311) (← links)
- Satisfiability for relation-changing logics (Q4612446) (← links)
- (Q5015266) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)
- Solution complexity of local variants of sabotage game (Q6601766) (← links)