Logic in Computer Science

Authors and titles for June 2022

[26] arXiv:2206.06046 [pdf, other]

Title: Local Dependence and Guarding

Johan van Benthem, Balder ten Cate, Raoul Koudijs

Comments: Proceedings of AIML 2022

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

[27] arXiv:2206.06049 [pdf, other]

Title: Characterising Modal Formulas with Examples

Balder ten Cate, Raoul Koudijs

Comments: AIML 2022 short presentation

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:2206.06294 [pdf, other]

Title: Introducing Proof Tree Automata and Proof Tree Graphs

Valentin D. Richard

Comments: Extended abstract accepted at SLSS 2022

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

[29] arXiv:2206.06677 [pdf, other]

Title: Abstraction-Based Segmental Simulation of Chemical Reaction Networks

Martin Helfrich, Milan Češka, Jan Křetínský, Štefan Martiček

Comments: Accepted to Computational Methods in Systems Biology 2022

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:2206.07393 [pdf, other]

Title: Structure and Power: an emerging landscape

Samson Abramsky

Comments: To appear in special issue for Trakhtenbrot centenary of Fundamenta Informaticae vol. 186 no 1-4

Journal-ref: Fundamenta Informaticae, Volume 186, Issues 1-4: Trakhtenbrot's centenary (October 21, 2022) fi:9712

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:2206.07711 [pdf, other]

Title: On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič

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

[32] arXiv:2206.07823 [pdf, other]

Title: An Investigation of Kripke-style Modal Type Theories

Jason Z. S. Hu, Brigitte Pientka

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

[33] arXiv:2206.08248 [pdf, other]

Title: Twin-width and types

Jakub Gajarský, Michał Pilipczuk, Wojciech Przybyszewski, Szymon Toruńczyk

Comments: 35 pages. Full version of an extended abstract to appear in the proceedings of ICALP 2022

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

[34] arXiv:2206.08413 [pdf, other]

Title: Recursion does not always help

Gordon Plotkin

Comments: Improved presentation a little

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:2206.08714 [pdf, other]

Title: Relaxing safety for metric first-order temporal logic via dynamic free variables

Jonathan Julian Huerta y Munive

Comments: 12 pages, conference, appendix

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:2206.08755 [pdf, other]

Title: Compositional Exploration of Combinatorial Scientific Models

Kristopher Brown, Tyler Hanks, James Fairbanks

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

[37] arXiv:2206.09020 [pdf, other]

Title: Uniform and Modular Sequent Systems for Description Logics

Tim Lyon, Jonas Karge

Comments: Accepted to the 35th International Workshop on Description Logics (DL 2022). Appended version

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

[38] arXiv:2206.09250 [pdf, other]

Title: Robin Milner's Work on Concurrency: An Appreciation

Samson Abramsky

Comments: Text of a talk given at MFPS 2010

Journal-ref: Electronic Notes in Theoretical Computer Science 265 (2010): 5-10

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:2206.09389 [pdf, other]

Title: Two Results on Separation Logic With Theory Reasoning

Mnacho Echenim, Nicolas Peltier

Comments: ASL 2022 - Workshop on Advancing Separation Logic. arXiv admin note: substantial text overlap with arXiv:2201.13227

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:2206.10234 [pdf, other]

Title: The Many-Worlds Calculus

Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart

Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 2 (May 16, 2025) lmcs:12630

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

[41] arXiv:2206.10916 [pdf, other]

Title: Geometry of Interaction for ZX-Diagrams

Kostia Chardonnet, Benoît Valiron, Renaud Vilmart

Journal-ref: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)

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

[42] arXiv:2206.11366 [pdf, other]

Title: From Spot 2.0 to Spot 2.10: What's New?

Alexandre Duret-Lutz (LRDE), Etienne Renault (LRDE), Maximilien Colange, Florian Renkin (LRDE), Alexandre Gbaguidi, Philipp Schlehuber-Caissier (LRDE), Thomas Medioni, Antoine Martin (LRDE), Jérôme Dubois, Clément Gillard, Henrich Lauko

Journal-ref: Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel

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

[43] arXiv:2206.11495 [pdf, other]

Title: Algebra-Based Reasoning for Loop Synthesis

Andreas Humenberger, Daneshvar Amrollahi, Nikolaj Bjørner, Laura Kovács

Comments: This paper is an extended version of the "Algebra-Based Loop Synthesis'' manuscript published at iFM 2020. arXiv admin note: substantial text overlap with arXiv:2004.11787

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:2206.11751 [pdf, other]

Title: Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version)

Bartosz Bednarczyk, Reijo Jaakkola

Comments: Accepted to the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:2206.12156 [pdf, other]

Title: Notes on presheaf representations of strategies and cohomological refinements of $k$-consistency and $k$-equivalence

Samson Abramsky

Comments: Working notes

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:2206.12164 [pdf, other]

Title: Elementary analytic functions in $VTC^0$

Emil Jeřábek

Comments: 57 pages

Journal-ref: Annals of Pure and Applied Logic 174 (2023), no. 6, article no. 103269, 50 pp

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

[47] arXiv:2206.12934 [pdf, html, other]

Title: Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System

Fabio Aurelio D'Asaro, Francesco Genco, Giuseppe Primiero

Journal-ref: F. A. D'Asaro, F. A. Genco, G. Primiero, Checking trustworthiness of probabilistic computations in a typed natural deduction system, Journal of Logic and Computation, 2025, exaf00

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

[48] arXiv:2206.13610 [pdf, other]

Title: Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems

Francesco Gavazzo, Cecilia Di Florio

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:2206.13731 [pdf, other]

Title: On two-variable guarded fragment logic with expressive local Presburger constraints

Chia-Hsuan Lu, Tony Tan

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 3 (August 27, 2024) lmcs:9757

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:2206.13765 [pdf, other]

Title: Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes

Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Toruńczyk

Comments: v2: revised presentation; renamed flip-wideness to flip-flatness; changed the title from "Indiscernibles and Wideness [...]" to "Indiscernibles and Flatness [...]"

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