Logic in Computer Science

Authors and titles for June 2023

[1] arXiv:2306.00420 [pdf, html, other]

Title: Logics with probabilistic team semantics and the Boolean negation

Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema

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

[2] arXiv:2306.00461 [pdf, html, other]

Title: Disjoint Partial Enumeration without Blocking Clauses

Giuseppe Spallitta, Roberto Sebastiani, Armin Biere

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:2306.00478 [pdf, other]

Title: From proof theory to theories theory

Gilles Dowek

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:2306.00495 [pdf, other]

Title: Axioms vs. rewrite rules: from completeness to cut elimination

Gilles Dowek

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:2306.00498 [pdf, other]

Title: Automated theorem proving in first-order logic modulo: on the difference between type theory and set theory

Gilles Dowek

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:2306.00584 [pdf, other]

Title: Representation Theorems Obtained by Miningacross Web Sources for Hints

Marco B. Caminati, Juliana K. F. Bowles

Comments: In press at IEEEXplore

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:2306.00617 [pdf, other]

Title: Multiple-inheritance hazards in dependently-typed algebraic hierarchies

Eric Wieser

Comments: 15 pages, 4 figures

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:2306.01193 [pdf, other]

Title: Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, Petri Nets, and Counter Machines

Hayashi Ani, Michael Coulombe, Erik D. Demaine, Jenny Diomidova, Timothy Gomez, Dylan Hendrickson, Jayson Lynch

Comments: 22 pages, 19 figures. Presented at SAND 2023

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

[9] arXiv:2306.01455 [pdf, other]

Title: The logic of temporal domination

Thomas Studer

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:2306.01466 [pdf, html, other]

Title: On the Complexity of Proving Polyhedral Reductions

Nicolas Amat (IMDEA Software Institute), Silvano Dal Zilio (LAAS-VERTICS, LAAS), Didier Le Botlan (LAAS-VERTICS, LAAS)

Journal-ref: Fundamenta Informaticae, Volume 192, Issues 3-4: Petri Nets 2023 (November 10, 2024) fi:12854

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:2306.01473 [pdf, other]

Title: Third Order Matching is Decidable

Gilles Dowek

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:2306.01487 [pdf, html, other]

Title: Quantitative Graded Semantics and Spectra of Behavioural Metrics

Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:2306.01517 [pdf, other]

Title: Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability

Lucie Guillou, Corto Mascle, Nicolas Waldburger

Comments: Long version of a paper published at FoSSaCS 2024

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)

[14] arXiv:2306.02427 [pdf, other]

Title: Towards Efficient Controller Synthesis Techniques for Logical LTL Games

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC); Systems and Control (eess.SY)

[15] arXiv:2306.02521 [pdf, other]

Title: Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules

Tim S. Lyon, Piotr Ostropolski-Nalewaja

Comments: Appended version of paper accepted to KR 2023

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

[16] arXiv:2306.02769 [pdf, other]

Title: On simple expectations and observations of intelligent agents: A complexity study

Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

Comments: Accepted in KR 2023

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

[17] arXiv:2306.02774 [pdf, other]

Title: Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control

Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:2306.02967 [pdf, other]

Title: Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms

Derek Egolf, Stavros Tripakis

Comments: Moved proofs into the main text. Added link to publicly available artifact

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:2306.03045 [pdf, other]

Title: Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge

Comments: arXiv admin note: substantial text overlap with arXiv:2106.10192

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 4 (December 4, 2024) lmcs:11435

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

[20] arXiv:2306.03267 [pdf, other]

Title: Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version)

Marcos Cramer, Samuele Pollaci, Bart Bogaerts

Comments: 18 pages, 2 figures, extended version of the paper "Mathematical Foundations for Joining Only Knowing and Common Knowledge'' accepted for KR 2023

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:2306.03572 [pdf, other]

Title: Range-Restricted Interpolation through Clausal Tableaux

Christoph Wernhard

Comments: Extended version of the TABLEAUX 2023 contribution; minor corrections

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

[22] arXiv:2306.03656 [pdf, html, other]

Title: An ecumenical view of proof-theoretic semantics

Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel

Comments: Submitted

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

[23] arXiv:2306.03894 [pdf, html, other]

Title: Fractals from Regular Behaviours

Todd Schmid, Victoria Noquez, Lawrence S. Moss

Comments: Expanded and edited into a journal version. Accepted for publication in the CALCO 2023 special issue of LMCS

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

[24] arXiv:2306.04089 [pdf, other]

Title: Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis

Niklas Kochdumper, Stanley Bak

Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY); Dynamical Systems (math.DS)

[25] arXiv:2306.04189 [pdf, other]

Title: Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures

Paulius Dilkas, Vaishak Belle

Comments: The full version of the paper to be published in KR 2023: 12 pages, 1 figure

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

[26] arXiv:2306.04210 [pdf, other]

Title: First-Order Quantification over Automata

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:2306.04499 [pdf, other]

Title: Anticipating Accidents through Reasoned Simulation

Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy

Comments: 11 pages

Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[28] arXiv:2306.04585 [pdf, other]

Title: RTAEval: A framework for evaluating runtime assurance logic

Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:2306.05106 [pdf, html, other]

Title: Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)

Alexander V. Gheorghiu, Tao Gu, David J. Pym

Journal-ref: Tableaux 2023

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

[30] arXiv:2306.05229 [pdf, other]

Title: If At First You Don't Succeed: Extended Monitorability through Multiple Executions

Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:2306.05806 [pdf, html, other]

Title: Robust Probabilistic Temporal Logics

Martin Zimmermann

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

[32] arXiv:2306.05835 [pdf, other]

Title: A Complete Proof Synthesis Method for the Cube of Type Systems

Gilles Dowek (DEDUCTEAM)

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:2306.05876 [pdf, other]

Title: The Undecidability of Pattern Matching in Calculi where Primitive Recursive Functions are Representable

Gilles Dowek

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:2306.06356 [pdf, other]

Title: Process Algebra with Imperfect Actions

Yong Wang

Comments: arXiv admin note: text overlap with arXiv:2010.15596, arXiv:2104.05438, arXiv:2101.05140

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:2306.06376 [pdf, other]

Title: Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions

Sander J. J. Leemans, Fabrizio M. Maggi, Marco Montali

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

[36] arXiv:2306.07550 [pdf, html, other]

Title: Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics

Tim S. Lyon

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

[37] arXiv:2306.07599 [pdf, other]

Title: The Undecidability of Typability in the Lambda-Pi-Calculus

Gilles Dowek

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:2306.07625 [pdf, other]

Title: The Stable Model Semantics of Datalog with Metric Temporal Operators

Przemysław A. Wałęga, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:2306.07690 [pdf, other]

Title: Efficient Iterative Programs with Distributed Data Collections

Sarah Chlyah, Nils Gesbert, Pierre Geneves, Nabil Layaida

Comments: 36 pages

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:2306.08916 [pdf, other]

Title: Counterfactuals Modulo Temporal Logics

Bernd Finkbeiner, Julian Siber

Comments: 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23)

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

[41] arXiv:2306.09074 [pdf, other]

Title: Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation

Jonas Bayer, Aleksey Gonus, Christoph Benzmüller, Dana S. Scott

Comments: 15 pages. Preprint of paper accepted for CICM 2023 conference

Journal-ref: Intelligent Computer Mathematics (CICM 2023). Lecture Notes in Computer Science, vol 14101, pp. 69-83. Springer, Cham

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

[42] arXiv:2306.09152 [pdf, html, other]

Title: Schematic Unification

David M. Cerna

Comments: Submitted for review

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:2306.09436 [pdf, other]

Title: Complete Trigger Selection in Satisfiability modulo first-order Theories

Christopher Lynch, Stephen Miner

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:2306.09496 [pdf, other]

Title: Streamlining Input/Output Logics with Sequent Calculi

Agata Ciabattoni, Dmitry Rozplokhas

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:2306.09561 [pdf, other]

Title: A connection method for a defeasible extension of $\mathcal{ALCH}$

Renan Fernandes (1), Fred Freitas (1), Ivan Varzinczak (2, 3 and 4), Pedro PM Farias (1 and 5) ((1) Centro de Informática - Universidade Federal de Pernambuco, (2) LIASD - Université Paris 8, (3) CAIR - University of Cape Town, (4) ISTI - CNR and (5) ARCE, Public Services Regulation Agency-CE)

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:2306.10009 [pdf, other]

Title: Fast Approximations of Quantifier Elimination

Isabel Garcia-Contreras, Hari Govind V K, Sharon Shoham, Arie Gurfinkel

Comments: Published at CAV 2023

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:2306.10124 [pdf, other]

Title: Towards an induction principle for nested data types

Peng Fu, Peter Selinger

Comments: 11 pages

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

[48] arXiv:2306.10337 [pdf, other]

Title: Notes on "Bounds on BDD-Based Bucket Elimination''

Randal E. Bryant

Comments: Unpublished note

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:2306.10432 [pdf, html, other]

Title: Universal quantification makes automatic structures hard to decide

Christoph Haase, Radosław Piórkowski

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:2306.10558 [pdf, other]

Title: Isabelle Formalisation of Original Representation Theorems

Marco B. Caminati

Comments: accepted by CICM 2023 conference (regular paper)

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