Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings [Book Review]

, & (eds.)
Springer Verlag (2021)
  Copy   BIBTEX

Abstract

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9783030888527   9783030888534   3030888525

DOI

10.1007/978-3-030-88853-4
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Formalized Soundness and Completeness of Epistemic Logic.  (pages 1-15)Asta Halkjær From
A Logical Characterization of Constant-Depth Circuits over the Reals.  (pages 16-30)Timon Barlag & Heribert Vollmer
Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes.  (pages 31-46)Hans van Ditmarsch
Doubly Strongly First Order Dependencies.  (pages 47-63)Pietro Galliani
Explicit Non-normal Modal Logic.  (pages 64-81)Atefeh Rohani & Thomas Studer
A General Relational Semantics of Propositional Logic: Axiomatization.  (pages 82-99)Shengyang Zhong
Meaning and Computing: Two Approaches to Computable Propositions.  (pages 100-116)Ivo Pezlar
Modal Logic via Global Consequence.  (pages 117-132)Xuefeng Wen
Games for Hybrid Logic.  (pages 133-149)Robert Freiman
Verifying the Conversion into CNF in Dafny.  (pages 150-166)Viorel Iordache & Ştefan Ciobâcă
Analysis in a Formal Predicative Set Theory.  (pages 167-183)Nissan Levi & Arnon Avron
Coherence via Focusing for Symmetric Skew Monoidal Categories.  (pages 184-200)Niccolò Veltri
On the Subtle Nature of a Simple Logic of the Hide and Seek Game.  (pages 201-218)Dazhu Li, Sujata Ghosh, Fenrong Liu & Yaxin Tu
Orthogonal Frames and Indexed Relations.  (pages 219-234)Philippe Balbiani & Saúl Fernández González
Computable Execution Traces.  (pages 235-251)Declan Thompson
Axiomatic Reals and Certified Efficient Exact Real Computation.  (pages 252-268)Michal Konečný, Sewon Park & Holger Thies
Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution.  (pages 269-286)Davide Catta & Symon Jory Stevens-Guille
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.  (pages 287-301)Amirhossein Akbar Tabatabai, Rosalie Iemhoff & Raheleh Jalali
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties.  (pages 302-318)Juha Kontinen & Max Sandström
Characterizations for XPathR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {XPath}^{}_{{\mathcal R}}{}$$\end{document}. [REVIEW]  (pages 319-336)Nicolás González & Sergio Abriola
Uniform Interpolation via Nested Sequents.  (pages 337-354)Iris van der Giessen, Raheleh Jalali & Roman Kuznets
Disjunction and Negation in Information Based Semantics.  (pages 355-371)Vít Punčochář & Andrew Tedder
Algorithmically Broad Languages for Polynomial Time and Space.  (pages 372-387)Daniel Leivant
A Pure View of Ecumenical Modalities.  (pages 388-407)Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel & Emerson Sales
Provability Games for Non-classical Logics.  (pages 408-425)Alexandra Pavlova

Similar books and articles

Logic, Language, Information and Computation: 15th International Workshop, Wollic 2008 Edinburgh, Uk, July 1-4, 2008, Proceedings.Wilfrid Hodges & Ruy de Queiroz (eds.) - 2008 - Berlin and New York: Springer.
Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings.Sujata Ghosh & Thomas Icard (eds.) - 2021 - Springer Verlag.
3rd Workshop on Logic, Language, Information and Computation (Wollic'96).Ruy J. G. B. de Queiroz - 1996 - Bulletin of Symbolic Logic 2 (3):374-374.
5th Workshop on Logic, Language, Information and Computation (Wollic'98).Ruy J. G. B. de Queiroz - 1999 - Bulletin of Symbolic Logic 5 (3):422-423.
7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000).Ruy J. G. B. de Queiroz - 2001 - Bulletin of Symbolic Logic 7 (2):293-294.
Conferences. Wollic'98, workshop on logic, language, information and computation.R. de Queiroz & M. Finger - 1998 - Logic Journal of the IGPL 6 (6):917-939.
6th Workshop on Logic, Language, Information and Computation (Wollic'99).Ruy J. G. B. de Queiroz & Walter Carnielli - 1999 - Bulletin of Symbolic Logic 5 (3):424-425.
9th workshop on logic, language, information and computation (wollic'2002).Erich Grädel - 2003 - Bulletin of Symbolic Logic 9 (1):941-949.
Eighth workshop on logic, language, information and computation (WoLLIC '2001).Ruy J. G. B. de Queiroz - 2002 - Bulletin of Symbolic Logic 8 (2):319-320.
3rd workshop on logic, language, information and computation (wollic'96).L. S. Baptista, A. Duran, T. Monteiro & A. G. de Oliveira - 1996 - Bulletin of Symbolic Logic 2 (3).
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016.Jouko Väänänen - 2019 - Annals of Pure and Applied Logic 170 (9):921-922.
19th workshop on logic, language, information and computation (wollic 2012).Carlos Areces Luke Ong - 2013 - Bulletin of Symbolic Logic 19 (3):425-426,.
24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017.Juliette Kennedy & Ruy de Queiroz - 2021 - Archive for Mathematical Logic 60 (5):525-527.
18th workshop on logic, language, information and computation (wollic 2011).Lev Beklemishev, Ruy de Queiroz & Andre Scedrov - 2012 - Bulletin of Symbolic Logic 18 (1):152-153.
15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008)-Abstracts.Sam Lomonaco & Makoto Kanazawa - 2008 - Logic Journal of the IGPL 16 (4):415-423.

Analytics

Added to PP
2022-03-09

Downloads
19 (#805,446)

6 months
11 (#248,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references