Matteo Tesi

From MaRDI portal
Person:2106872

Available identifiers

zbMath Open tesi.matteoMaRDI QIDQ2106872

List of research outcomes





PublicationDate of PublicationType
Subintuitionistic logics and their modal companions: a nested approach2024-12-09Paper
Infinitary logic with infinite sequents: syntactic investigations2024-06-25Paper
Fractional-Valued Modal Logic and Soft Bilateralism2024-02-29Paper
FRACTIONAL-VALUED MODAL LOGIC2024-01-11Paper
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions2023-06-13Paper
https://portal.mardi4nfdi.de/entity/Q58849682023-03-24Paper
https://portal.mardi4nfdi.de/entity/Q58849462023-03-24Paper
On the proof theory of infinitary modal logic2022-11-29Paper
Non-contractive logics, Paradoxes, and Multiplicative Quantifiers2022-09-23Paper
Labelled sequent calculi for Lewis' non-normal propositional modal logics2021-11-11Paper
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic2021-11-09Paper

Research outcomes over time

This page was built for person: Matteo Tesi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2106872&oldid=6572913"
Powered by MediaWiki