Johann / de Queiroz Logic, Language, Information, and Computation

32nd International Workshop, WoLLIC 2026, Lima, Peru, August 3–6, 2026, Proceedings
Erscheinungsjahr 2026
ISBN: 978-3-032-33486-2
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 137 Seiten

Reihe: Springer Nature Proceedings Computer Science

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 32nd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2026, in Lima, Peru, during August 3-6, 2026.

The 9 full papers included in this book were carefully reviewed and selected from 17 submissions. The WoLLIC conference aim of fostering interdisciplinary research in pure and applied logic, information and computation.

Zielgruppe

Research

Autoren/Hrsg.

Johann, Patricia

de Queiroz, Ruy

Inhaltsverzeichnis

.- Model Comparison Game and n-Bisimulation for Conditional Logic.

.- Knowledge and Common Knowledge of Strategies.

.- Axiomatizing Eventual Common Knowledge.

.- Possible and impossible conditionals for team logics.

.- Decidability of MSO Reparametrization over Countable Labelled Chain.

.- An Axiomatization of Büchi Arithmetic.

.- Two generalizations of shininess.

.- A Circuit-Theoretic View of FO over Semirings.

.- Shadowy Institutions.