Logic, Language, and Information

A special issue of Logics (ISSN 2813-0405).

Deadline for manuscript submissions: closed (31 July 2025) | Viewed by 1687

Special Issue Editors


E-Mail Website
Guest Editor
Department of Philosophy, University of California Berkeley, Berkeley, CA 94720-2390, USA
Interests: formal philosophy and logic; especially modal logic; intuitionistic logic; epistemic logic and epistemology; logic and natural language; logic and probability; logic and social choice theory

E-Mail Website
Co-Guest Editor
Department of Information Science and Media Studies, University of Bergen, 5007 Bergen, Norway
Interests: modal logic; epistemic logic; information aggregation; rational agency

E-Mail Website
Co-Guest Editor
Faculty of Engineering, Free University of Bozen-Bolzano, 39100 Bolzano BZ, Italy
Interests: formal verification; logic programming; message passing systems; petri nets; quantum computing

Special Issue Information

Dear Colleagues,

We are pleased to invite authors of contributions presented at the ESSLLI 2023 and ESSLLI 2024 Student Sessions to contribute to a Special Issue of MDPI’s journal Logics dedicated to the traditional tracks of ESSLLI: Language and Computation, Language and Logic, and Logic and Computation.

Since 1996, the Student Sessions of the European Summer School in Logic, Language, and Information (ESSLLI) have provided ESSLLI students with an opportunity to submit their work, receive valuable feedback from experts, and present accepted papers to a diverse audience. We are happy to continue the tradition of arranging a journal Special Issue in which accepted contributors to the Student Session are invited to submit their work on the topics presented in the Student Session. The purpose of this Special Issue is to give the students who presented their work and received feedback at the Student Session the opportunity to incorporate further developments and improvements on that work and to make their interesting papers available through publication. Therefore, in this Special Issue, original research articles extending on the works presented at ESSLLIs 2023 and 2024 are welcome to be submitted.

Prof. Dr. Wesley H. Holliday
Guest Editor

Dr. John Lindqvist
Dr. Francesco Di Cosmo
Co-Guest Editors

Manuscript Submission Information

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Logics is an international peer-reviewed open access quarterly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 1000 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.

Keywords

  • ESSLLI
  • language and computation
  • logic and language
  • logic and computation

Benefits of Publishing in a Special Issue

  • Ease of navigation: Grouping papers by topic helps scholars navigate broad scope journals more efficiently.
  • Greater discoverability: Special Issues support the reach and impact of scientific research. Articles in Special Issues are more discoverable and cited more frequently.
  • Expansion of research network: Special Issues facilitate connections among authors, fostering scientific collaborations.
  • External promotion: Articles in Special Issues are often promoted through the journal's social media, increasing their visibility.
  • Reprint: MDPI Books provides the opportunity to republish successful Special Issues in book format, both online and in print.

Further information on MDPI's Special Issue policies can be found here.

Published Papers (2 papers)

Order results
Result details
Select all
Export citation of selected articles as:

Research

10 pages, 1505 KB  
Article
Structural Similarity: Formalizing Analogies Using Category Theory
by Claire Ott
Logics 2025, 3(4), 12; https://doi.org/10.3390/logics3040012 - 23 Sep 2025
Viewed by 291
Abstract
Analogies are an important part of human cognition for learning and discovering new concepts. There are many different approaches to defining analogies and how new ones can be found or constructed. We propose a novel approach in the tradition of structure mapping using [...] Read more.
Analogies are an important part of human cognition for learning and discovering new concepts. There are many different approaches to defining analogies and how new ones can be found or constructed. We propose a novel approach in the tradition of structure mapping using colored multigraphs to represent domains. We define a category of colored multigraphs in order to utilize some Category Theory (CT) concepts. CT is a powerful tool for describing and working with structure-preserving maps. There are many useful applications for this theory in cognitive science, and we want to introduce one such application to a broader audience. CT and the concepts used in this paper are introduced and explained. We show how the category theoretical concepts product and pullback can be used with the category of colored multigraphs to find possible analogies between domains using different requirements. The dual notion of a pullback, the pushout, is then used as conceptual blending to generate a new domain. Full article
(This article belongs to the Special Issue Logic, Language, and Information)
Show Figures

Figure 1

12 pages, 275 KB  
Article
Bisimulation Quotient in Inquisitive Modal Logic
by Stipe Marić
Logics 2025, 3(3), 11; https://doi.org/10.3390/logics3030011 - 5 Sep 2025
Viewed by 381
Abstract
Inquisitive modal logic InqML is a natural generalization of basic modal logic, with ⊞ as a primitive modal operator. In this paper, we study the bisimulation quotients in the logic InqML. For a given inquisitive modal model [...] Read more.
Inquisitive modal logic InqML is a natural generalization of basic modal logic, with ⊞ as a primitive modal operator. In this paper, we study the bisimulation quotients in the logic InqML. For a given inquisitive modal model M=(W,Σ,V), we first show that the bisimilarity relation is an equivalence relation on W and that there is the largest bisimulation on M. We then define the bisimulation quotient and prove that a model is connected to its bisimulation quotient by a surjective bounded morphism. Finally, we prove that two models are globally bisimilar if and only if their bisimulation quotients are isomorphic. Full article
(This article belongs to the Special Issue Logic, Language, and Information)
Back to TopTop