dc.identifier.uri |
http://dx.doi.org/10.15488/1279 |
|
dc.identifier.uri |
http://www.repo.uni-hannover.de/handle/123456789/1304 |
|
dc.contributor.author |
Lück, Martin
|
|
dc.date.accessioned |
2017-04-06T06:44:31Z |
|
dc.date.available |
2017-04-06T06:44:31Z |
|
dc.date.issued |
2016 |
|
dc.identifier.citation |
Lück, M.: Axiomatizations for propositional and modal team logic. In: Leibniz International Proceedings in Informatics, LIPIcs 62 (2016). DOI: https://doi.org/10.4230/LIPIcs.CSL.2016.33 |
|
dc.description.abstract |
A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic K. Complete axiomatizations for their team-based extensions, propositional team logic PTL and modal team logic MTL, are presented. |
eng |
dc.language.iso |
eng |
|
dc.publisher |
Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH |
|
dc.relation.ispartofseries |
Leibniz International Proceedings in Informatics, LIPIcs 62 (2016 |
|
dc.rights |
CC BY 3.0 Unported |
|
dc.rights.uri |
https://creativecommons.org/licenses/by/3.0/ |
|
dc.subject |
Axiomatization |
eng |
dc.subject |
Modal team logic |
eng |
dc.subject |
Proof system |
eng |
dc.subject |
Propositional team logic |
eng |
dc.subject |
Team logic |
eng |
dc.subject |
Formal logic |
eng |
dc.subject |
Programmable logic controllers |
eng |
dc.subject |
Axiomatization |
eng |
dc.subject |
Modal team logic |
eng |
dc.subject |
Proof system |
eng |
dc.subject |
Propositional team logic |
eng |
dc.subject |
Team logic |
eng |
dc.subject |
Computer circuits |
eng |
dc.subject.ddc |
004 | Informatik
|
ger |
dc.title |
Axiomatizations for propositional and modal team logic |
eng |
dc.type |
Article |
|
dc.type |
Text |
|
dc.relation.doi |
https://doi.org/10.4230/LIPIcs.CSL.2016.33 |
|
dc.bibliographicCitation.volume |
62 |
|
dc.bibliographicCitation.firstPage |
LIPIcs 62 (2016) |
|
dc.description.version |
publishedVersion |
|
tib.accessRights |
frei zug�nglich |
|