Hierarchies in independence logic

Galliani, Pietro; Hannula, Miika; Kontinen, Juha

doi:10.4230/LIPIcs.CSL.2013.263

Document

Hierarchies in independence logic

Authors Pietro Galliani, Miika Hannula, Juha Kontinen

Part of: Volume: Computer Science Logic 2013 (CSL 2013)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: Computer Science Logic (CSL)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2013-09-02

PDF

File

PDF

LIPIcs.CSL.2013.263.pdf

Filesize: 498 kB
18 pages

Document Identifiers

DOI: 10.4230/LIPIcs.CSL.2013.263
URN: urn:nbn:de:0030-drops-42021

Subject Classification

Keywords

Existential second-order logic
Independence logic
Inclusion logic
Expressiveness hierarchies

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

We study the expressive power of fragments of inclusion and independence logic defined either by restricting the number of universal quantifiers or the arity of inclusion and independence atoms in formulas. Assuming the so-called lax semantics for these logics, we relate these fragments of inclusion and independence logic to familiar sublogics of existential second-order logic. We also show that, with respect to the stronger strict semantics, inclusion logic is equivalent to existential second-order logic.

Cite As Get BibTex

Pietro Galliani, Miika Hannula, and Juha Kontinen. Hierarchies in independence logic. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 263-280, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013) https://doi.org/10.4230/LIPIcs.CSL.2013.263

Author Details

Pietro Galliani

Miika Hannula

Juha Kontinen

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail