Pages that link to "Item:Q5890192"
From MaRDI portal
The following pages link to Partiality and games: Propositional logic (Q5890192):
Displaying 10 items.
- A cirquent calculus system with clustering and ranking (Q301368) (← links)
- Propositional logic of imperfect information: Foundations and applications (Q1422098) (← links)
- Semantic games with chance moves revisited: from IF logic to partial logic (Q2441754) (← links)
- Thompson transformations for IF-logic (Q2500828) (← links)
- On the computational consequences of independence in propositional logic (Q2500830) (← links)
- Parity Games and Propositional Proofs (Q2849902) (← links)
- (Q3125031) (← links)
- Game Theoretical Semantics for Paraconsistent Logics (Q3457682) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- Parity Games and Propositional Proofs (Q5169973) (← links)