The following pages link to (Q4732440):
Displaying 50 items.
- Hintikka on the foundations of mathematics: IF logic and uniformity concepts (Q253125) (← links)
- Dependence logic with a majority quantifier (Q302214) (← links)
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Model-checking games for logics of imperfect information (Q391101) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Propositional team logics (Q526967) (← links)
- Truth and definite truth (Q598266) (← links)
- Equilibrium semantics of languages of imperfect information (Q636301) (← links)
- Upwards closed dependencies in team semantics (Q897651) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- On the logic of informational independence and its applications (Q1208148) (← links)
- IF-logic and truth-definition (Q1267079) (← links)
- The fallacies of the new theory of reference (Q1582269) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Cooperation in games and epistemic readings of independence-friendly sentences (Q1689283) (← links)
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
- A logical analysis of Monty Hall and Sleeping Beauty (Q1756594) (← links)
- Finite information logic (Q1779313) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- Expressing second-order sentences in intuitionistic dependence logic (Q1956373) (← links)
- Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information (Q1956374) (← links)
- Epistemic operators in dependence logic (Q1956375) (← links)
- Expressivity of imperfect information logics without identity (Q1956377) (← links)
- Complexity results for modal dependence logic (Q1956378) (← links)
- Editorial introduction to the special issue: Dependence and independence in logic (Q1956382) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- IF modal logic and classical negation (Q2016064) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- On non-deterministic quantification (Q2254562) (← links)
- The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Reasoning about arbitrary natural numbers from a Carnapian perspective (Q2323694) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← 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)
- Axiomatizations of team logics (Q2636536) (← links)
- The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
- On the semantics of informational independence (Q3147434) (← links)
- Short Overview of the Development of Hintikka’s Work in Logic (Q3299569) (← links)
- Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications (Q3299589) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
