Modal independence logic:

DOI10.1093/logcom/exw019zbMath1444.03064OpenAlexW2238398106MaRDI QIDQ3133166

Henning Schnoor, Heribert Vollmer, Julian Müller, Juha Kontinen

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)

Related Items (6)

Unnamed Item ⋮ Complexity of validity for propositional dependence logics ⋮ Characterising modal definability of team-based logics via the universal modality ⋮ Negation and partial axiomatizations of dependence and independence logic revisited ⋮ Parameterised complexity of model checking and satisfiability in propositional dependence logic ⋮ Canonical Models and the Complexity of Modal Team Logic

This page was built for publication: Modal independence logic: