Logic, Language, Information, and Computation

32nd International Workshop, WoLLIC 2026, Lima, Peru, August 3–6, 2026, Proceedings
Erscheinungsjahr 2026
ISBN: 978-3-032-33485-5
Verlag: Springer

Buch, Englisch, 137 Seiten, Format (B × H): 155 mm x 235 mm

Reihe: Lecture Notes in 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

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
• Mathematik | Informatik EDV | Informatik Technische Informatik

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.