scientific article; zbMATH DE number 6821559
From MaRDI portal
Publication:4599513
zbMath1377.03011MaRDI QIDQ4599513
Publication date: 3 January 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Games involving topology, set theory, or logic (91A44) Modal logic (including the logic of norms) (03B45) Games in extensive form (91A18)
Related Items (37)
Boolean dependence logic and partially-ordered connectives ⋮ Propositional logics of dependence ⋮ Complexity of Model Checking for Modal Dependence Logic ⋮ Dependence logic with a majority quantifier ⋮ A generalization of inquisitive semantics ⋮ Axiomatizations of team logics ⋮ Unnamed Item ⋮ Questions and dependency in intuitionistic logic ⋮ Modal Inclusion Logic: Being Lax is Simpler than Being Strict ⋮ The expressive power of modal logic with inclusion atoms ⋮ On the complexity of linear temporal logic with team semantics ⋮ Neglect-zero effects in dynamic semantics ⋮ Unnamed Item ⋮ Complexity results for modal dependence logic ⋮ Informational dynamics of epistemic possibility modals ⋮ Transition semantics: the dynamics of dependence logic ⋮ Team semantics for the specification and verification of hyperproperties ⋮ A simple logic of functional dependence ⋮ Complexity of validity for propositional dependence logics ⋮ Propositional team logics ⋮ Characterising modal definability of team-based logics via the universal modality ⋮ Approximation and dependence via multiteam semantics ⋮ Team semantics for interventionist counterfactuals: observations vs. interventions ⋮ 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 ⋮ Dependency as Question Entailment ⋮ Dependence and Independence in Social Choice: Arrow’s Theorem ⋮ Supervenience, Dependence, Disjunction ⋮ Canonical Models and the Complexity of Modal Team Logic ⋮ Unnamed Item ⋮ Complexity thresholds in inclusion logic ⋮ Characterizing Relative Frame Definability in Team Semantics via the Universal Modality ⋮ Equivalence Criteria for Compositional IF Modal Logics ⋮ Characterizing counterfactuals and dependencies over (generalized) causal teams ⋮ INQUISITIVE BISIMULATION
This page was built for publication:
