Modal independence logic

DOI10.1093/LOGCOM/EXW019MaRDI QIDQ3133166zbMATH OpenOpenAlexFDO

Authors Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer

Publication date 13 February 2018

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10138/214807

Mathematics Subject Classification ID

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

Recommendations

• Modal indepence logic
• Model-theoretic and computational properties of modal dependence logic
• The expressive power of modal dependence logic
• Model checking for modal intuitionistic dependence logic
• scientific article; zbMATH DE number 1670481

Cited in

(12)

• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Modal indepence logic
• Independent choices and the interpretation of IF logic
• Canonical models and the complexity of modal team logic
• State-based modal logics for free choice
• Two-dimensional Kripke semantics. II: Stability and completeness
• scientific article; zbMATH DE number 5734948 (Why is no real title available?)
• ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC
• Inquisitive neighborhood logic
• On the succinctness of atoms of dependency
• Axiomatizing modal inclusion logic and its variants
• Complexity of validity for propositional dependence logics

This page was built for publication: Modal independence logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133166)