Deutsch
Login
Open Access
Home
Search
Browse
Publish/report a document
Help
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
Martin Wirsing
,
Alexander Knapp
Download full text files
101470.pdf
(581KB)
Postprint
Export metadata
BibTeX
RIS
Statistics
Additional Services
Metadaten
Author:
Martin Wirsing
,
Alexander Knapp
ORCiD
GND
URN:
urn:nbn:de:bvb:384-opus4-1014708
Frontdoor URL
https://opus.bibliothek.uni-augsburg.de/opus4/101470
ISSN:
1367-0751
OPAC
ISSN:
1368-9894
OPAC
Parent Title (English):
Logic Journal of the IGPL
Publisher:
Oxford University Press (OUP)
Place of publication:
Oxford
Type:
Article
Language:
English
Year of first Publication:
2023
Embargo Date:
2023/12/27
Publishing Institution:
Universität Augsburg
Release Date:
2023/01/31
Tag:
Logic
Volume:
31
Issue:
6
First Page:
1047
Last Page:
1068
DOI:
https://doi.org/10.1093/jigpal/jzac078
Institutes:
Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für die Grundlagen des Software & Systems Engineering
Dewey Decimal Classification:
0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke
Licence (German):
Deutsches Urheberrecht