![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 3
2022
Cobreros, Pablo; La Rosa, Elio und Tranchini, Luca
(2022):
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.
In: Journal of Philosophical Logic, Bd. 51, Nr. 6: S. 1417-1452
2021
Pawlowski, Pawel und La Rosa, Elio
(2021):
Modular non-deterministic semantics for T, TB, S4, S5 and more.
In: Journal of Logic and Computation, Bd. 32, Nr. 1: S. 158-171
2020
Cobreros, Pablo; La Rosa, Elio und Tranchini, Luca
(2020):
(I can't get no) antisatisfaction.
In: Synthese