Axiomatizing Propositional Dependence Logics

Katsuhiko Sano; Virtema Jonni

doi:10.4230/LIPIcs.CSL.2015.292

Axiomatizing Propositional Dependence Logics

Katsuhiko Sano, Virtema Jonni

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

12 Citations (Scopus)

Original language	English
Title of host publication	24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Editors	Stephan Kreutzer
Place of Publication	Dagstuhl, Germany
Publisher	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Pages	292-307
ISBN (Print)	978-3-939897-90-3
DOIs	https://doi.org/10.4230/LIPIcs.CSL.2015.292
Publication status	Published - 2015
Publication type	A4 Article in conference proceedings
Event	Annual conference of the European Association for Computer Science Logic - Duration: 1 Jan 2015 → …

Publication series

Name	Leibniz International Proceedings in Informatics (LIPIcs)
ISSN (Print)	1868-8969

Conference

Conference	Annual conference of the European Association for Computer Science Logic
Period	1/01/15 → …

Publication forum classification

Publication forum level 1

Access to Document

10.4230/LIPIcs.CSL.2015.292

Cite this

@inproceedings{c43bd107fa24422daa582d27c13e658f,

title = "Axiomatizing Propositional Dependence Logics",

author = "Katsuhiko Sano and Virtema Jonni",

year = "2015",

doi = "10.4230/LIPIcs.CSL.2015.292",

language = "English",

isbn = "978-3-939897-90-3",

series = "Leibniz International Proceedings in Informatics (LIPIcs)",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",

pages = "292--307",

editor = "Stephan Kreutzer",

booktitle = "24th EACSL Annual Conference on Computer Science Logic (CSL 2015)",

note = "Annual conference of the European Association for Computer Science Logic ; Conference date: 01-01-2015",

}

Sano, K & Jonni, V 2015, Axiomatizing Propositional Dependence Logics. in S Kreutzer (ed.), 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, pp. 292-307, Annual conference of the European Association for Computer Science Logic, 1/01/15. https://doi.org/10.4230/LIPIcs.CSL.2015.292

Axiomatizing Propositional Dependence Logics. / Sano, Katsuhiko; Jonni, Virtema.
24th EACSL Annual Conference on Computer Science Logic (CSL 2015). ed. / Stephan Kreutzer. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. p. 292-307 (Leibniz International Proceedings in Informatics (LIPIcs)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Axiomatizing Propositional Dependence Logics

AU - Sano, Katsuhiko

AU - Jonni, Virtema

PY - 2015

Y1 - 2015

U2 - 10.4230/LIPIcs.CSL.2015.292

DO - 10.4230/LIPIcs.CSL.2015.292

M3 - Conference contribution

SN - 978-3-939897-90-3

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

SP - 292

EP - 307

BT - 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)

A2 - Kreutzer, Stephan

PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik

CY - Dagstuhl, Germany

T2 - Annual conference of the European Association for Computer Science Logic

Y2 - 1 January 2015

ER -