Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
stRucturEs for MOdal and DEontic Logics
View Statistics
Email Alert
RSS Feed
Information
APIs
Primary Data
Project Title (de)
Projekttitel (de)
stRucturEs for MOdal and DEontic Logics
Publications
(All)
All
Articles
Conference Papers
Show/Hide filters
Peer-Reviewed
2
true
Author
2
Tesi, Matteo
1
Gao, Han
1
Lorini, Emiliano
1
Olivetti, Nicola
Subject
2
modal logic
1
ethical reasoning
1
Nested sequents
1
proof theory
1
subintuitionistic logic
Date issued
2
2000 - 2026
Publication Type
1
Article
1
Inproceedings
Close filters
Results 1-2 of 2 (Search time: 0.002 seconds).
RIS
EndNote
Bibtex
Preview
Author(s)
Title
Type
Issue Date
1
Gao, Han
; Lorini, Emiliano
; Olivetti, Nicola
; Tesi, Matteo
A Proof Calculus for Ethical Reasoning
Inproceedings
Konferenzbeitrag
Nov-2024
2
Tesi, Matteo
Subintuitionistic logics and their modal companions: a nested approach
Article
Artikel
2024