Boolean Dependence Logic and Partially-Ordered Connectives

DOI10.1007/978-3-642-39992-3_12zbMath1394.03046arXiv1406.7132OpenAlexW2161618928MaRDI QIDQ2849426

Peter Lohmann, Johannes Ebbing, Lauri Hella, Jonni Virtema

Publication date: 17 September 2013

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

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

zbMATH Keywords

expressivityexistential second-order logicdependence logicpartially-ordered connectives

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (2)

Boolean dependence logic and partially-ordered connectives ⋮ The expressive power of modal logic with inclusion atoms

This page was built for publication: Boolean Dependence Logic and Partially-Ordered Connectives