Taming Bounded Depth with Nested Sequents

Ciabattoni, Agata; Straßburger, Lutz; Tesi, Matteo

Record link:

http://hdl.handle.net/20.500.12708/137005

Title:

Taming Bounded Depth with Nested Sequents

Citation:

Ciabattoni, A., Straßburger, L., & Tesi, M. (2022). Taming Bounded Depth with Nested Sequents. In David Fernández-Duque, A. PALMIGIANO, & S. Pinchinat (Eds.), Advances in Model Logic (pp. 199–217). College Publications. http://hdl.handle.net/20.500.12708/137005

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Ciabattoni, Agata
Straßburger, Lutz
Tesi, Matteo

Organisational Unit:

E192-05 - Forschungsbereich Theory and Logic

Published in:

Advances in Model Logic

ISBN:

978-1-84890-413-2

Volume:

Date (published):

2022

Event name:

International Conference Advances in Modal Logic 2022 (AiML22)

Event date:

22-Aug-2022 - 25-Aug-2022

Event place:

Rennes, France

Number of Pages:

Publisher:

College Publications

Keywords:

Nested sequences; Cut Elimination; Intermediate Logics; Bounded Depth Kripke Models

Project title:

TICAMORE: Transfer und Entwicklung von Kalkülen für Modallogiken und Verwandte Systeme: I 2982-N35 (Fonds zur Förderung der wissenschaftlichen Forschung (FWF))

Link (external):

https://www.collegepublications.co.uk/aiml/?00011

Research Areas:

Computer Science Foundations: 100%

Science Branch:

1020 - Informatik: 100%

License:

CC BY-NC-ND 4.0