Pages that link to "Item:Q3613174"
From MaRDI portal
The following pages link to Equivalence and quantifier rules for logic with imperfect information (Q3613174):
Displaying 15 items.
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Equilibrium semantics of languages of imperfect information (Q636301) (← links)
- On the formal semantics of IF-like logics (Q980942) (← links)
- Epistemic operators in dependence logic (Q1956375) (← links)
- Expressivity of imperfect information logics without identity (Q1956377) (← links)
- Compositional natural language semantics using independence friendly logic or dependence logic (Q1956381) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← links)
- Classical negation and game-theoretical semantics (Q2258540) (← links)
- Henkin quantifiers and Boolean formulae: a certification perspective of DQBF (Q2435315) (← links)
- Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
- Thompson transformations for IF-logic (Q2500828) (← links)
- Remarks on Compositionality (Q5213643) (← links)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)