Extended Modal Dependence Logic $\mathcal{EMDL}$

DOI10.1007/978-3-642-39992-3_13zbMath1394.03047OpenAlexW153808227WikidataQ57998299 ScholiaQ57998299MaRDI QIDQ2849427

Johannes Ebbing, Jonni Virtema, Julian Müller, Heribert Vollmer, Lauri Hella, Arne Meier

Publication date: 17 September 2013

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39992-3_13

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (19)

Boolean dependence logic and partially-ordered connectives ⋮ Propositional logics of dependence ⋮ Axiomatizations of team logics ⋮ Structural completeness in propositional logics of dependence ⋮ Unnamed Item ⋮ Questions and dependency in intuitionistic logic ⋮ The expressive power of modal logic with inclusion atoms ⋮ Parameterized complexity of propositional inclusion and independence logic ⋮ On the complexity of team logic and its two-variable fragment ⋮ 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 ⋮ Expressivity and Complexity of Dependence Logic ⋮ Dependency as Question Entailment ⋮ Supervenience, Dependence, Disjunction ⋮ Unnamed Item ⋮ Complexity thresholds in inclusion logic ⋮ Characterizing Relative Frame Definability in Team Semantics via the Universal Modality

This page was built for publication: Extended Modal Dependence Logic $\mathcal{EMDL}$