×

Found 25 Documents (Results 1–25)

Quantified reflection calculus with one modality. (English) Zbl 07585705

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 13-32 (2020).
MSC:  03B45
PDFBibTeX XMLCite
Full Text: arXiv

Relational semantics for the Turing Schmerl calculus. (English) Zbl 1418.03086

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 237-346 (2018).
MSC:  03B45 03F45
PDFBibTeX XMLCite
Full Text: arXiv

The worm calculus. (English) Zbl 1418.03076

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 13-27 (2018).
MSC:  03B45 03F45
PDFBibTeX XMLCite
Full Text: arXiv

Turing progressions and their well-orders. (English) Zbl 1358.03093

Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 212-221 (2012).
MSC:  03F45 03D80
PDFBibTeX XMLCite
Full Text: DOI

The closed fragment of IL is PSPACE hard. (English) Zbl 1347.03040

van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 47-54 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Database

all top 5

Year of Publication

Main Field

Software