Nested proof theory for quasi-transitive modal logics

Sonia Marin, Paaras Padhiar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationAdvances in Modal Logic
PublisherCollege Publications
Publication statusAccepted/In press - 2024
EventAdvances in Modal Logic 2024 - Advances in Modal Logic 2024, Czech Republic
Duration: 19 Aug 202423 Aug 2024

Publication series

NameAdvances in Modal Logic
PublisherCollege Publications

Conference

ConferenceAdvances in Modal Logic 2024
Abbreviated titleAiML 2024
Country/TerritoryCzech Republic
CityAdvances in Modal Logic 2024
Period19/08/2423/08/24

Bibliographical note

Not yet published as of 26/06/2024.

Cite this