Logic, Language, Information, and Computation
Book title Buchtitel
Logic, Language, Information, and Computation
ISBN
978-3-662-47708-3
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Berlin, Heidelberg
DOI
10.1007/978-3-662-47709-0
Date issued
Results 1-5 of 5 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | de Haan, Ronald ; Szymanik, Jakub ; de Paiva, Valeria ; de Queiroz, Ruy J.G.B. ; Moss, Lawrence ; Leivant, Daniel ; Grisi de Oliveira, Anjolina | A Dichotomy Result for Ramsey Quantifiers | Konferenzbeitrag Inproceedings  | 2015 | |
| 2 | Baaz, Matthias ; Aguilera Ozuna, Juan Pablo | Cut Elimination for Gödel Logic with an Operator Adding a Constant | Konferenzbeitrag Inproceedings | 2016 | |
| 3 | Freiman, Robert ; Silva, Paula Alexandra | Games for Hybrid Logic | Konferenzbeitrag Inproceedings | 2021 | |
| 4 | Pavlova, Alexandra ; Silva, Paula Alexandra | Provability Games for Non-classical Logics | Konferenzbeitrag Inproceedings | 2021 | |
| 5 | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Uniform Interpolation via Nested Sequents | Konferenzbeitrag Inproceedings | 2021 |