Logic in Computer Science

Authors and titles for October 2021

[51] arXiv:2110.13559 [pdf, other]

Title: Flexible Refinement Proofs in Separation Logic

Aurel Bílý, Christoph Matheja, Peter Müller

Comments: 35 pages, submitted to 31st European Symposium on Programming

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:2110.13704 [pdf, other]

Title: Encoding of Predicate Subtyping with Proof Irrelevance in the $λ$$Π$-Calculus Modulo Theory

Gabriel Hondet (DEDUCTEAM), Frédéric Blanqui (DEDUCTEAM)

Comments: TYPES 2020 wasn't held in Turin as planned because of the COVID-19 outbreak. TYPES 2020 - 26th International Conference on Types for Proofs and Programs, Mar 2020, Turino, Italy

Subjects: Logic in Computer Science (cs.LO)

[53] arXiv:2110.00239 (cross-list from math.CT) [pdf, other]

Title: Substructural fixed-point theorems and the diagonal argument: theme and variations

David Michael Roberts

Comments: v1 20 pages; v2 22 pages, added additional final section on fixed-point operators; v3 final journal version

Journal-ref: Compositionality, Volume 5 (2023) (August 10, 2023) compositionality:13527

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)

[54] arXiv:2110.00326 (cross-list from cs.FL) [pdf, other]

Title: Approximate Bisimulation Minimisation

Stefan Kiefer, Qiyi Tang

Comments: Full version of an FSTTCS'21 paper

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[55] arXiv:2110.00446 (cross-list from cs.PL) [pdf, other]

Title: CHAD for Expressive Total Languages

Fernando Lucatelli Nunes, Matthijs Vákár

Comments: Under review at MSCS

Journal-ref: Mathematical Structures in Computer Science, 33(4-5):311-426, 2023

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[56] arXiv:2110.00558 (cross-list from cs.CL) [pdf, other]

Title: Natural language understanding for logical games

Adrian Groza, Cristian Nitu

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[57] arXiv:2110.00798 (cross-list from math.LO) [pdf, other]

Title: A Framework for Intuitionistic Grammar Logics

Tim S. Lyon

Comments: Preprint of paper published at the 4th International Conference on Logic and Argumentation (CLAR 2021)

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[58] arXiv:2110.00900 (cross-list from math.GR) [pdf, other]

Title: The isomorphism problem for plain groups is in $Σ_3^{\mathsf{P}}$

Heiko Dietrich, Murray Elder, Adam Piggott, Youming Qiao, Armin Weiß

Comments: 11 pages, 0 figures. Accepted in STACS2022

Subjects: Group Theory (math.GR); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[59] arXiv:2110.01276 (cross-list from cs.GT) [pdf, other]

Title: Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs

Patricia Bouyer, Mickael Randour, Pierre Vandenhove

Comments: A previous conference version appeared in STACS 2022. 48 pages, 14 figures

Journal-ref: TheoretiCS, Volume 2 (January 16, 2023) theoretics:9608

Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[60] arXiv:2110.01360 (cross-list from stat.CO) [pdf, html, other]

Title: Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data

Laura Vana, Ennio Visconti, Laura Nenzi, Annalisa Cadonna, Gregor Kastner

Subjects: Computation (stat.CO); Logic in Computer Science (cs.LO)

[61] arXiv:2110.01361 (cross-list from quant-ph) [pdf, other]

Title: LQP: The Dynamic Logic of Quantum Information

Alexandru Baltag, Sonja Smets

Comments: 45 pages, this paper is a revision and extension of Baltag and Smets' paper on 'The Logic of Quantum Programs'. The paper on 'The Logic of Quantum Programs' appeared in the proceedings of QPL2004, the 2nd International Workshop on Quantum Programming Languages (TUCS General Publication No 33, Turku Center for Computer Science, 2004). arXiv admin note: text overlap with arXiv:2109.06792

Journal-ref: Mathematical Structures in Computer Science, 16(3): p.491-525, 2006

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)

[62] arXiv:2110.01501 (cross-list from eess.SP) [pdf, other]

Title: smol: Sensing Soil Moisture using LoRa

Daniel Kiv, Garvita Allabadi, Berkay Kaplan, Robin Kravets

Subjects: Signal Processing (eess.SP); Logic in Computer Science (cs.LO); Networking and Internet Architecture (cs.NI)

[63] arXiv:2110.01936 (cross-list from cs.DC) [pdf, other]

Title: Local certification of MSO properties for bounded treedepth graphs

Nicolas Bousquet, Laurent Feuilloley, Théo Pierron

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[64] arXiv:2110.01964 (cross-list from cs.PL) [pdf, other]

Title: Deductive Verification of Programs with Underspecified Semantics by Model Extraction

Eduard Kamburjan, Nathan Wasser

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[65] arXiv:2110.02376 (cross-list from cs.AI) [pdf, other]

Title: Foundations of Symbolic Languages for Model Interpretability

Marcelo Arenas, Daniel Baez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux

Comments: Accepted as Spotlight for NeurIPS'2021

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[66] arXiv:2110.02543 (cross-list from cs.SI) [pdf, other]

Title: A logical approach for temporal and multiplex networks analysis

Esteban Bautista, Matthieu Latapy

Comments: Extended abstract accepted at The 10th International Conference on Complex Networks and their Applications, 3 Pages

Journal-ref: The 10th International Conference on Complex Networks and their Applications, 2021

Subjects: Social and Information Networks (cs.SI); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Signal Processing (eess.SP)

[67] arXiv:2110.02630 (cross-list from math.LO) [pdf, other]

Title: A New Conjecture About Identity of Proofs

Paolo Pistone

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[68] arXiv:2110.02769 (cross-list from cs.PL) [pdf, other]

Title: Visibility Reasoning for Concurrent Snapshot Algorithms

Joakim Öhman, Aleksandar Nanevski

Comments: 45 pages, 12 figures

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[69] arXiv:2110.04291 (cross-list from cs.CL) [pdf, other]

Title: Local and Global Context-Based Pairwise Models for Sentence Ordering

Ruskin Raj Manku, Aditya Jyoti Paul

Comments: This is a post-print of an article published in Knowledge-Based Systems. For the journal-typeset version, please see this https URL

Journal-ref: Knowledge-Based Systems, Volume 243, May 2022, 108453

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[70] arXiv:2110.04452 (cross-list from cs.AI) [pdf, other]

Title: Towards AI Logic for Social Reasoning

Huimin Dong, Réka Markovich, Leendert van der Torre

Journal-ref: Journal of Zhejiang University, Vol. 5, No. 50 (2020): 31-50

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[71] arXiv:2110.05327 (cross-list from math.CT) [pdf, other]

Title: Compositionality as we see it, everywhere around us

Bob Coecke

Comments: 22 pages, lots of refs, lots of pictures, as usual

Subjects: Category Theory (math.CT); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[72] arXiv:2110.05387 (cross-list from cs.AI) [pdf, other]

Title: CASPR: A Commonsense Reasoning-based Conversational Socialbot

Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta

Comments: 4th Proceedings of Amazon Alexa Prize (Alexa Prize 2021)

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO)

[73] arXiv:2110.05404 (cross-list from cs.PL) [pdf, other]

Title: Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages

Vikraman Choudhury, Jacek Karwowski, Amr Sabry

Comments: Conditionally accepted to POPL'22

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[74] arXiv:2110.05985 (cross-list from math.CT) [pdf, other]

Title: A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces

Sean Tull (Cambridge Quantum Computing)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 306-322

Subjects: Category Theory (math.CT); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[75] arXiv:2110.06146 (cross-list from cs.DS) [pdf, other]

Title: A SAT Approach to Twin-Width

André Schidler, Stefan Szeider

Comments: Preprint of a paper to appear at ALENEX'22

Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Combinatorics (math.CO)