Logic in Computer Science

Authors and titles for June 2023

[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, html, 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, 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)