Literatur vom gleichen Autor/der gleichen Autor*in
plus bei Google Scholar

Bibliografische Daten exportieren
 

Adaptive Logic Characterizations of Input/output Logic

Titelangaben

Straßer, Christian ; Beirlaen, Mathieu ; van de Putte, Frederik:
Adaptive Logic Characterizations of Input/output Logic.
In: Studia Logica. Bd. 104 (2016) Heft 5 . - S. 869-916.
ISSN 0039-3215
DOI: https://doi.org/10.1007/s11225-016-9656-1

Abstract

We translate the unconstrained and constrained input/output-logics from 17, 18 to reflexive modal logics, using adaptive logics for the constrained case. The resulting reformulation has various advantages. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our modal framework gives naturally rise to useful variants. Finally, the modal logics display a gain in expressive power over their original counterparts in the input/output framework.

Weitere Angaben

Publikationsform: Artikel in einer Zeitschrift
Begutachteter Beitrag: Ja
Institutionen der Universität: Fakultäten > Kulturwissenschaftliche Fakultät
Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie
Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie > Lehrstuhl Philosophie I
Fakultäten
Titel an der UBT entstanden: Nein
Themengebiete aus DDC: 100 Philosophie und Psychologie
100 Philosophie und Psychologie > 100 Philosophie
100 Philosophie und Psychologie > 160 Logik
Eingestellt am: 26 Nov 2018 08:23
Letzte Änderung: 26 Nov 2018 11:50
URI: https://eref.uni-bayreuth.de/id/eprint/46376