The following pages link to (Q3446107):
Displaying 50 items.
- Towards a Suppositional Inquisitive Semantics (Q3455185) (← links)
- Frame Theory, Dependence Logic and Strategies (Q3455191) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- Characterizing quantifier extensions of dependence logic (Q4916562) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
- Breaking the Atom with Samson (Q4922090) (← links)
- ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC (Q4928773) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- Team semantics for the specification and verification of hyperproperties (Q5005106) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- (Q5013879) (← links)
- The expressive power of modal logic with inclusion atoms (Q5013883) (← links)
- (Q5015279) (← links)
- (Q5020523) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC (Q5078812) (← links)
- Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721) (← links)
- Dependency Concepts up to Equivalence. (Q5079749) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← links)
- Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Grelling on Dependence (Q5213640) (← links)
- On Strongly First-Order Dependencies (Q5213641) (← links)
- Dependency as Question Entailment (Q5213645) (← links)
- Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data (Q5213646) (← links)
- Context-Specific and Local Independence in Markovian Dependence Structures (Q5213647) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- Knowing Values and Public Inspection (Q5224492) (← links)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)
- On Dependence Logic (Q5249667) (← links)
- (Q5376655) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Team Logic and Second-Order Logic (Q5902156) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918401) (← links)
- Diversity, dependence and independence (Q5918485) (← links)
- Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918795) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
- Modified numerals and split disjunction: the first-order case (Q6078201) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)
- Reasoning about dependence, preference and coalitional power (Q6191139) (← links)
