Translator Disclaimer
2013 General Models and Entailment Semantics for Independence Logic
Pietro Galliani
Notre Dame J. Formal Logic 54(2): 253-275 (2013). DOI: 10.1215/00294527-1960506

Abstract

We develop a semantics for independence logic with respect to what we will call general models. We then introduce a simpler entailment semantics for the same logic, and we reduce the validity problem in the former to the validity problem in the latter. Then we build a proof system for independence logic and prove its soundness and completeness with respect to entailment semantics.

Citation

Download Citation

Pietro Galliani. "General Models and Entailment Semantics for Independence Logic." Notre Dame J. Formal Logic 54 (2) 253 - 275, 2013. https://doi.org/10.1215/00294527-1960506

Information

Published: 2013
First available in Project Euclid: 21 February 2013

zbMATH: 1269.03031
MathSciNet: MR3028798
Digital Object Identifier: 10.1215/00294527-1960506

Subjects:
Primary: 03B60
Secondary: 03F03

Rights: Copyright © 2013 University of Notre Dame

JOURNAL ARTICLE
23 PAGES


SHARE
Vol.54 • No. 2 • 2013
Back to Top