Modal indepence logic

MaRDI QIDQ4636302zbMATH OpenFDO

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

Publication date 23 April 2018

Full work available at URL https://arxiv.org/abs/1404.0144

zbMATH Keywords

computational complexitydependence logicexpressivity over finite modelsindependenceteam semantics

Mathematics Subject Classification ID

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

Recommendations

• Modal independence logic
• Model-theoretic and computational properties of modal dependence logic
• The expressive power of modal dependence logic
• Model checking for modal intuitionistic dependence logic
• Complexity of model checking for modal dependence logic

Cited in

(9)

• Independent choices and the interpretation of IF logic
• Axiomatizations of team logics
• Modal independence logic
• scientific article; zbMATH DE number 5734948 (Why is no real title available?)
• Separation logics and modalities: a survey
• ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC
• The expressive power of modal logic with inclusion atoms
• Expressivity and Complexity of Dependence Logic
• scientific article; zbMATH DE number 7056228 (Why is no real title available?)

This page was built for publication: Modal indepence logic

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