Modal independence logic

DOI10.1093/LOGCOM/EXW019zbMATH Open1444.03064OpenAlexW2238398106MaRDI QIDQ3133166FDOQ3133166

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Characterizing frame definability in team semantics via the universal modality
• Modal indepence logic
• Independent choices and the interpretation of IF logic
• Canonical models and the complexity of modal team logic
• Title not available (Why is that?)
• ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC
• On the succinctness of atoms of dependency
• Complexity of validity for propositional dependence logics
• Negation and partial axiomatizations of dependence and independence logic revisited

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)