<div class="csl-bib-body">
<div class="csl-entry">Tesi, M. (2024, January 18). <i>Subintuitionistic logics and their modal companions: a nested approach</i> [Presentation]. Logic Seminar Verona 2024, Verona, Italy.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/193684
-
dc.description.abstract
In the present talk we deal with subintuitionistic logics and their modal companions. In particular, we introduce nested calculi for subintuitionistic systems and for modal logics in the S5 modal cube ranging from K to S4. The latter calculi differ from standard nested systems, as there are multiple rules handling the modal operator. As an upshot, we get a purely syntactic proof of the Goedel-McKinsey-Tarski embedding which preserves the structure and the height of the derivations. Finally, we obtain a conservativity result for classical logic over a weak subintuitionistic system.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.subject
proof theory
en
dc.subject
nested systems
en
dc.subject
Intermediate logics
en
dc.title
Subintuitionistic logics and their modal companions: a nested approach
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
I 6372
-
dc.type.category
Presentation
-
tuw.publication.invited
invited
-
tuw.project.title
Logical methods for Deontic Explanations
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.linking
https://www.logicverona.it/
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.event.name
Logic Seminar Verona 2024
-
tuw.event.startdate
18-01-2024
-
tuw.event.enddate
18-01-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Verona
-
tuw.event.country
IT
-
tuw.event.institution
Università degli studi di Verona, Dipartimento di Informatica
