scientific article; zbMATH DE number 1086489
From MaRDI portal
Publication:4362727
zbMath0883.03022MaRDI QIDQ4362727
Publication date: 23 March 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (36)
Boolean dependence logic and partially-ordered connectives ⋮ Propositional logics of dependence ⋮ Propositional union closed team logics ⋮ From IF to BI. A tale of dependence and separation ⋮ On Tarski's assumptions ⋮ Structural completeness in propositional logics of dependence ⋮ Coherence in inquisitive first-order logic ⋮ Axiomatizing first-order consequences in dependence logic ⋮ Alternating (in)dependence-friendly logic ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Dependence of variables construed as an atomic formula ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Expressing second-order sentences in intuitionistic dependence logic ⋮ Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information ⋮ Complexity of two-variable dependence logic and IF-logic ⋮ Propositional team logics ⋮ Breaking the Atom with Samson ⋮ UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC ⋮ On the compositional extension problem ⋮ On the formal semantics of IF-like logics ⋮ Characterising modal definability of team-based logics via the universal modality ⋮ Negation and partial axiomatizations of dependence and independence logic revisited ⋮ Finite information logic ⋮ Disjunction and existence properties in inquisitive first-order logic ⋮ Independence-friendly logic without Henkin quantification ⋮ Team semantics for interventionist counterfactuals: observations vs. interventions ⋮ On definability in dependence logic ⋮ Grelling on Dependence ⋮ Dependency as Question Entailment ⋮ Characterizing Relative Frame Definability in Team Semantics via the Universal Modality ⋮ Equivalence Criteria for Compositional IF Modal Logics ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION ⋮ INQUISITIVE BISIMULATION ⋮ Hybrid logic meets IF modal logic ⋮ On Dependence Logic ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics
This page was built for publication:
