scientific article; zbMATH DE number 6863868

zbMath1385.03021arXiv1404.0144MaRDI QIDQ4636302

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

Publication date: 23 April 2018

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

independencecomputational complexitydependence logicteam semanticsexpressivity over finite models

Mathematics Subject Classification ID

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

Related Items (6)

Axiomatizations of team logics ⋮ The expressive power of modal logic with inclusion atoms ⋮ Separation logics and modalities: a survey ⋮ Negation and partial axiomatizations of dependence and independence logic revisited ⋮ Expressivity and Complexity of Dependence Logic ⋮ Unnamed Item

This page was built for publication: