Logic in Computer Science

Authors and titles for cs.LO in Oct 2022

[1]  arXiv:2210.00240 [pdf, other]

Title: Executable First-Order Queries in the Logic of Information Flows

Authors: Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche

Comments: This paper is the extended version of the two papers presented at ICDT 2020 and ICDT 2021

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:2210.00616 [pdf, ps, other]

Title: An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic

Authors: Quang Loc Le, Xuan-Bach D. Le

Subjects: Logic in Computer Science (cs.LO)

[3]  arXiv:2210.00654 [pdf, other]

Title: Relational Models for the Lambek Calculus with Intersection and Constants

Authors: Stepan L. Kuznetsov

Comments: This article is an extended version of the conference paper presented at RAMiCS 2021

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (December 18, 2023) lmcs:10120

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

[4]  arXiv:2210.00785 [pdf, ps, other]

Title: The Geometry of Reachability in Continuous Vector Addition Systems with States

Authors: Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Perez

Subjects: Logic in Computer Science (cs.LO)

[5]  arXiv:2210.00789 [pdf, other]

Title: Nested Sequents for First-Order Modal Logics via Reachability Rules

Authors: Tim S. Lyon

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

[6]  arXiv:2210.00989 [pdf, ps, other]

Title: Uniqueness of logical connectives in a bilateralist setting

Authors: Sara Ayhan

Journal-ref: in: The Logica Yearbook 2020, ed. by Igor Sedl\'ar & Martin Blicha, pp. 1-16, College Publications (2021)

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

[7]  arXiv:2210.01034 [pdf, other]

Title: Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability

Authors: Reijo Jaakkola

Comments: 17 pages, accepted to CSL 2023

Subjects: Logic in Computer Science (cs.LO)

[8]  arXiv:2210.01660 [pdf, other]

Title: Synthesizing Dominant Strategies for Liveness (Full Version)

Authors: Bernd Finkbeiner, Noemi Passing

Comments: Full version of the corresponding FSTTCS 2022 paper

Subjects: Logic in Computer Science (cs.LO)

[9]  arXiv:2210.02428 [pdf, other]

Title: Gradual C0: Symbolic Execution for Gradual Verification

Authors: Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich

Comments: 37 pages without appendix supplement, preprint

Subjects: Logic in Computer Science (cs.LO)

[10]  arXiv:2210.04202 [pdf, other]

Title: What should a generic object be?

Authors: Jonathan Sterling

Comments: Final version, to appear in Mathematical Structures in Computer Science

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

[11]  arXiv:2210.04656 [pdf, ps, other]

Title: Communication between agents in dynamic epistemic logic

Authors: Fernando R. Velázquez-Quesada

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[12]  arXiv:2210.05225 [pdf, ps, other]

Title: A Formalisation of a Fast Fourier Transform

Authors: Laurent Théry (STAMP)

Subjects: Logic in Computer Science (cs.LO)

[13]  arXiv:2210.05336 [pdf, other]

Title: Definite Formulae, Negation-as-Failure, and the Base-extension Semantics of Intuitionistic Propositional Logic

Authors: Alexander V. Gheorghiu, David J. Pym

Comments: submitted

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

[14]  arXiv:2210.05342 [pdf, ps, other]

Title: Formalizing May's Theorem

Authors: Kwing Hei Li

Subjects: Logic in Computer Science (cs.LO)

[15]  arXiv:2210.05344 [pdf, ps, other]

Title: From Basic Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic

Authors: Alexander V. Gheorghiu, David J. Pym

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

[16]  arXiv:2210.05346 [pdf, other]

Title: Stateful Realizers for Nonstandard Analysis

Authors: Bruno Dinis, Étienne Miquey

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 2 (April 25, 2023) lmcs:10137

Subjects: Logic in Computer Science (cs.LO)

[17]  arXiv:2210.05348 [pdf, ps, other]

Title: Semantical Analysis of the Logic of Bunched Implications

Authors: Alexander V. Gheorghiu, David J. Pym

Comments: accepted

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

[18]  arXiv:2210.05420 [pdf, other]

Title: Controlling unfolding in type theory

Authors: Daniel Gratzer, Jonathan Sterling, Carlo Angiuli, Thierry Coquand, Lars Birkedal

Subjects: Logic in Computer Science (cs.LO)

[19]  arXiv:2210.05447 [pdf, other]

Title: The Design and Regulation of Exchanges: A Formal Approach

Authors: Mohit Garg, Suneel Sarswat

Comments: 21 pages, FSTTCS 2022 (to appear)

Subjects: Logic in Computer Science (cs.LO); Trading and Market Microstructure (q-fin.TR)

[20]  arXiv:2210.05482 [pdf, ps, other]

Title: Descriptive complexity of the generalized spectra of graphs

Authors: Aida Abiad, Anuj Dawar, Octavio Zapata

Comments: 17 pages

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

[21]  arXiv:2210.05602 [pdf, ps, other]

Title: On Monotonicities of Interval Valued Functions

Authors: Ana Shirley Monteiro, Regivan Santiago, Martin Papco, Radko Mesiar, Humberto Bustince

Comments: 3 pages

Subjects: Logic in Computer Science (cs.LO)

[22]  arXiv:2210.05858 [pdf, ps, other]

Title: Abstract homogeneity of interval-valued functions

Authors: Ana Shirley Monteiro, Regivan Santiago, Radko Mesiar, Marisol Gomez, Martin Papco, Mikel Ferrero-Jaurrieta, Humberto Bustince

Comments: 2 pages

Subjects: Logic in Computer Science (cs.LO)

[23]  arXiv:2210.06095 [pdf, ps, other]

Title: A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation

Authors: Pietro Di Gianantonio, Abbas Edalat, Ran Gutin

Comments: 19 pages, no figures, MFPS'23

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12303

Subjects: Logic in Computer Science (cs.LO)

[24]  arXiv:2210.06196 [pdf, other]

Title: On the Preservation of Properties when Changing Communication Models

Authors: Olav Bunte, Louis C.M. van Gool, Tim A.C. Willemse

Subjects: Logic in Computer Science (cs.LO)

[25]  arXiv:2210.06663 [pdf, other]

Title: A Logical Framework with Higher-Order Rational (Circular) Terms

Authors: Zhibo Chen, Frank Pfenning

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