scientific article; zbMATH DE number 4118333
From MaRDI portal
Publication:4732440
Recommendations
Cited in
(84)- Hybrid logic meets IF modal logic
- On the logic of informational independence and its applications
- IF-logic and truth-definition
- The fallacies of the new theory of reference
- Hintikka's independence-friendly logic meets Nelson's realizability
- Cooperation in games and epistemic readings of independence-friendly sentences
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
- A logical analysis of Monty Hall and Sleeping Beauty
- Finite information logic
- Approximation and dependence via multiteam semantics
- General models and entailment semantics for independence logic
- Expressing second-order sentences in intuitionistic dependence logic
- Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information
- Epistemic operators in dependence logic
- Expressivity of imperfect information logics without identity
- Complexity results for modal dependence logic
- Editorial introduction to the special issue: Dependence and independence in logic
- Dependences in strategy logic
- Complexity of syntactical tree fragments of independence-friendly logic
- IF modal logic and classical negation
- Safe dependency atoms and possibility operators in team semantics
- Team semantics for interventionist counterfactuals: observations vs. interventions
- Pruning external minimality checking for answer set programs using semantic dependencies
- Doubly strongly first order dependencies
- On definability of team relations with \(k\)-invariant atoms
- On non-deterministic quantification
- The expressive power of \(k\)-ary exclusion logic
- Reasoning about arbitrary natural numbers from a Carnapian perspective
- Boolean dependence logic and partially-ordered connectives
- Henkin quantifiers and Boolean formulae: a certification perspective of DQBF
- Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
- Hintikka on the foundations of mathematics: IF logic and uniformity concepts
- Axiomatizations of team logics
- The expressive power of \(k\)-ary exclusion logic
- Dependence logic with a majority quantifier
- A double team semantics for generalized quantifiers
- On the semantics of informational independence
- Short overview of the development of Hintikka's work in logic
- Beyond knowing that: a new generation of epistemic logics
- Modeling Monty Hall in IF logic
- Structural completeness in propositional logics of dependence
- scientific article; zbMATH DE number 7447734 (Why is no real title available?)
- Game theoretical semantics for paraconsistent logics
- Model-checking games for logics of imperfect information
- Informational independence: Models and normal forms
- scientific article; zbMATH DE number 2051379 (Why is no real title available?)
- Game theoretical semantics for some non-classical logics
- Axiomatizing first-order consequences in independence logic
- Complexity of two-variable dependence logic and IF-logic
- Logics for propositional determinacy and independence
- Equivalence criteria for compositional IF modal logics
- The expressive power of modal logic with inclusion atoms
- On quantified propositional logics and the exponential time hierarchy
- Characterizing strongly first order dependencies: the non-jumping relativizable case
- Dependency Concepts up to Equivalence.
- Canonical models and the complexity of modal team logic
- Characterizing downwards closed, strongly first-order, relativizable dependencies
- Expressivity and Complexity of Dependence Logic
- Remarks on compositionality
- Supervenience, dependence, disjunction
- On the succinctness of atoms of dependency
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
- On dependence logic
- Propositional team logics
- scientific article; zbMATH DE number 7056228 (Why is no real title available?)
- Uniform definability in propositional dependence logic
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Independence-friendly logic without Henkin quantification
- Henkin quantifiers and the definability of truth
- Truth and definite truth
- Alternating (in)dependence-friendly logic
- Strongly first order, domain independent dependencies: the union-closed case
- Equilibrium semantics of languages of imperfect information
- Learning by intervention in simple causal domains
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
- Intermediate logics in the setting of team semantics
- Multiteam semantics for interventionist counterfactuals: probabilities and causation
- Guarded hybrid team logics
- Doubly strongly first-order dependencies
- Axiomatizing modal inclusion logic and its variants
- Equivalence and conditional independence in atomic sheaf logic
- State-based modal logics for free choice
- Equivalence and conditional independence in atomic sheaf logic
- Upwards closed dependencies in team semantics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4732440)
