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

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

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)

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

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)