Inclusion logic and fixed point logic

Pietro Galliani; Lauri Hella

doi:10.4230/LIPIcs.CSL.2013.281

Inclusion logic and fixed point logic

Pietro Galliani
, Lauri Hella

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

69 Citations (Scopus)

Original language	English
Title of host publication	Computer Science Logic 2013: 22nd Annual Conference of the EACSL, CSL’13
Editors	Simona Ronchi Della Rocca
Place of Publication	Saarbrücken/Wadern
Publisher	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Pages	281-295
ISBN (Print)	978-3-939897-60-6
DOIs	https://doi.org/10.4230/LIPIcs.CSL.2013.281
Publication status	Published - 2013
Publication type	A4 Article in conference proceedings

Publication series

Name	LIPIcs
Number	23
ISSN (Print)	1868-8969

Keywords

dependence logic
fixed point logic
inclusion logic
team semantics

Publication forum classification

Publication forum level 1

Access to Document

10.4230/LIPIcs.CSL.2013.281

Cite this

@inproceedings{da7ecb29c199407c8950cbb17b1b42ae,

title = "Inclusion logic and fixed point logic",

keywords = "dependence logic, fixed point logic, inclusion logic, team semantics, dependence logic, fixed point logic, inclusion logic, team semantics",

author = "Pietro Galliani and Lauri Hella",

year = "2013",

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

language = "English",

isbn = "978-3-939897-60-6",

series = "LIPIcs",

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

number = "23",

pages = "281--295",

editor = "\{Ronchi Della Rocca\}, Simona",

booktitle = "Computer Science Logic 2013: 22nd Annual Conference of the EACSL, CSL{\textquoteright}13",

}

Inclusion logic and fixed point logic. / Galliani, Pietro; Hella, Lauri.
Computer Science Logic 2013: 22nd Annual Conference of the EACSL, CSL’13. ed. / Simona Ronchi Della Rocca. Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. p. 281-295 (LIPIcs; No. 23).

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

TY - GEN

T1 - Inclusion logic and fixed point logic

AU - Galliani, Pietro

AU - Hella, Lauri

PY - 2013

Y1 - 2013

KW - dependence logic

KW - fixed point logic

KW - inclusion logic

KW - team semantics

KW - dependence logic

KW - fixed point logic

KW - inclusion logic

KW - team semantics

U2 - 10.4230/LIPIcs.CSL.2013.281

DO - 10.4230/LIPIcs.CSL.2013.281

M3 - Conference contribution

SN - 978-3-939897-60-6

T3 - LIPIcs

SP - 281

EP - 295

BT - Computer Science Logic 2013: 22nd Annual Conference of the EACSL, CSL’13

A2 - Ronchi Della Rocca, Simona

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

CY - Saarbrücken/Wadern

ER -