scientific article

Publication date: 14 June 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

complexity IF logic dependence GTS team logic

Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (only showing first 100 items - show all)

LOGICALITY AND MODEL CLASSES ⋮ Towards a Suppositional Inquisitive Semantics ⋮ Frame Theory, Dependence Logic and Strategies ⋮ A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC ⋮ The expressive power of modal logic with inclusion atoms ⋮ Game theoretical semantics for some non-classical logics ⋮ Alternating (in)dependence-friendly logic ⋮ Modified numerals and split disjunction: the first-order case ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Neglect-zero effects in dynamic semantics ⋮ Strongly first order, domain independent dependencies: the union-closed case ⋮ Esakia duals of regular Heyting algebras ⋮ Reasoning about dependence, preference and coalitional power ⋮ Parameterized complexity of propositional inclusion and independence logic ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Team semantics for the specification and verification of hyperproperties ⋮ On the complexity of team logic and its two-variable fragment ⋮ Characterizing quantifier extensions of dependence logic ⋮ Imperfect Information in Logic and Concurrent Games ⋮ Breaking the Atom with Samson ⋮ UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC ⋮ ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Independence-friendly logic without Henkin quantification ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ Diversity, dependence and independence ⋮ Parameterised complexity of model checking and satisfiability in propositional dependence logic ⋮ LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE ⋮ Expressivity and Complexity of Dependence Logic ⋮ Grelling on Dependence ⋮ On Strongly First-Order Dependencies ⋮ Dependency as Question Entailment ⋮ Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data ⋮ Context-Specific and Local Independence in Markovian Dependence Structures ⋮ Dependence and Independence in Social Choice: Arrow’s Theorem ⋮ Supervenience, Dependence, Disjunction ⋮ Dependency Concepts up to Equivalence. ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources ⋮ Unnamed Item ⋮ Complexity thresholds in inclusion logic ⋮ Knowing Values and Public Inspection ⋮ Team Logic and Second-Order Logic ⋮ Counting of Teams in First-Order Team Logics ⋮ Equivalence Criteria for Compositional IF Modal Logics ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION ⋮ Model Checking and Validity in Propositional and Modal Inclusion Logics ⋮ INQUISITIVE BISIMULATION ⋮ On Dependence Logic ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics ⋮ On the finite and general implication problems of independence atoms and keys ⋮ Dependence logic with generalized quantifiers: axiomatizations ⋮ Boolean dependence logic and partially-ordered connectives ⋮ Propositional logics of dependence ⋮ Reduction of database independence to dividing in atomless Boolean algebras ⋮ Complexity of Model Checking for Modal Dependence Logic ⋮ Category-theoretic structure for independence and conditional independence ⋮ Propositional union closed team logics ⋮ From IF to BI. A tale of dependence and separation ⋮ Dependence logic with a majority quantifier ⋮ A double team semantics for generalized quantifiers ⋮ A finite axiomatization of conditional independence and inclusion dependencies ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Axiomatizations of team logics ⋮ Doubly strongly first order dependencies ⋮ On the expressive power of TeamLTL and first-order team logic over hyperproperties ⋮ A parameterized view on the complexity of dependence logic ⋮ Data-informed knowledge and strategies ⋮ Structural completeness in propositional logics of dependence ⋮ Hintikka's independence-friendly logic meets Nelson's realizability ⋮ Coherence in inquisitive first-order logic ⋮ Relative computability and uniform continuity of relations ⋮ A logic for arguing about probabilities in measure teams ⋮ Separation logic and logics with team semantics ⋮ Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence ⋮ On elementary logics for quantitative dependencies ⋮ On the Presburger fragment of logics with multiteam semantics ⋮ On definability of team relations with \(k\)-invariant atoms ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ Embedding causal team languages into predicate logic ⋮ Enumerating teams in first-order team logics ⋮ First-order logic formalisation of impossibility theorems in preference aggregation ⋮ Questions and dependency in intuitionistic logic ⋮ Axiomatizing first-order consequences in dependence logic ⋮ Complexity of Propositional Independence and Inclusion Logic ⋮ Modal Inclusion Logic: Being Lax is Simpler than Being Strict ⋮ Model-checking games for logics of imperfect information ⋮ Cooperation in games and epistemic readings of independence-friendly sentences ⋮ A finite axiomatization of G-dependence ⋮ On the complexity of linear temporal logic with team semantics ⋮ Upwards closed dependencies in team semantics ⋮ Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic ⋮ Equilibrium semantics of languages of imperfect information ⋮ Dependence of variables construed as an atomic formula ⋮ Questions as information types ⋮ Positive logics

This page was built for publication: