dc.identifier.uri |
http://dx.doi.org/10.15488/856 |
|
dc.identifier.uri |
http://www.repo.uni-hannover.de/handle/123456789/880 |
|
dc.contributor.author |
Sano, Katsuhiko
|
|
dc.contributor.author |
Virtema, Jonni
|
|
dc.date.accessioned |
2016-12-16T09:39:05Z |
|
dc.date.available |
2016-12-16T09:39:05Z |
|
dc.date.issued |
2015 |
|
dc.identifier.citation |
Sano, K.; Virtema, J.: Axiomatizing propositional dependence logics. In: Leibniz International Proceedings in Informatics, LIPIcs 41 (2015), S. 292-307. DOI: https://doi.org/10.4230/LIPIcs.CSL.2015.292 |
|
dc.description.abstract |
We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional logic and modal logic. In addition, we give novel labeled tableau calculi for PD, MDL, and EMDL. We prove soundness, completeness and termination for each of the labeled calculi. |
eng |
dc.language.iso |
eng |
|
dc.publisher |
Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH |
|
dc.relation.ispartofseries |
Leibniz International Proceedings in Informatics, LIPIcs 41 (2015) |
|
dc.rights |
CC BY 4.0 Unported |
|
dc.rights.uri |
https://creativecommons.org/licenses/by/4.0/ |
|
dc.subject |
Axiomatization |
eng |
dc.subject |
Modal dependence logic |
eng |
dc.subject |
Propositional dependence logic |
eng |
dc.subject |
Tableau calculus |
eng |
dc.subject |
Biomineralization |
eng |
dc.subject |
Calculations |
eng |
dc.subject |
Formal logic |
eng |
dc.subject |
Pathology |
eng |
dc.subject |
Reconfigurable hardware |
eng |
dc.subject |
Axiomatizing |
eng |
dc.subject |
Dependence logic |
eng |
dc.subject |
Hilbert |
eng |
dc.subject |
Modal logic |
eng |
dc.subject |
Propositional logic |
eng |
dc.subject |
Sound and complete |
eng |
dc.subject |
Computer circuits |
eng |
dc.subject.classification |
Konferenzschrift |
ger |
dc.subject.ddc |
500 | Naturwissenschaften
|
ger |
dc.subject.ddc |
530 | Physik
|
ger |
dc.title |
Axiomatizing propositional dependence logics |
eng |
dc.type |
Article |
|
dc.type |
Text |
|
dc.relation.issn |
18688969 |
|
dc.relation.doi |
https://doi.org/10.4230/LIPIcs.CSL.2015.292 |
|
dc.bibliographicCitation.volume |
41 |
|
dc.bibliographicCitation.firstPage |
292 |
|
dc.bibliographicCitation.lastPage |
307 |
|
dc.description.version |
publishedVersion |
|
tib.accessRights |
frei zug�nglich |
|