Logic in Computer Science

Authors and titles for cs.LO in Nov 2021

[1]  arXiv:2111.00218 [pdf, ps, other]

Title: A Non-Deterministic Multiset Query Language

Authors: Bartosz Zielinski

Comments: 40 pages, version edited by Fundamenta Informaticae

Journal-ref: Fundamenta Informaticae, Volume 184, Issue 2 (January 13, 2022) fi:8950

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[2]  arXiv:2111.00482 [pdf, other]

Title: On Small Types in Univalent Foundations

Authors: Tom de Jong, Martín Hötzel Escardó

Comments: Extended version of arXiv:2102.08812. v3: Revised following referee reports

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

[3]  arXiv:2111.00543 [pdf, other]

Title: A modular construction of type theories

Authors: Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger, Gabriel Hondet, François Thiré

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

[4]  arXiv:2111.00588 [pdf, other]

Title: A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations

Authors: Sandra Alves, Jorge Iglésias

Comments: 19 pages, 6 figures

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)

[5]  arXiv:2111.01472 [pdf, ps, other]

Title: Some Questions of Uniformity in Algorithmic Randomness

Authors: Laurent Bienvenu (LaBRI), Barbara Csima, Matthew Harrison-Trainor

Journal-ref: The Journal of Symbolic Logic, Association for Symbolic Logic, 2021, pp.1-20

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

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

Title: A strong call-by-need calculus

Authors: Thibaut Balabonski (TOCCATA), Antoine Lanco (TOCCATA), Guillaume Melquiond (TOCCATA)

Subjects: Logic in Computer Science (cs.LO)

[7]  arXiv:2111.02251 [pdf, ps, other]

Title: Fair Mutual Exclusion for N Processes (extended version)

Authors: Yousra Hafidi, Jeroen J.A. Keiren, Jan Friso Groote

Comments: To appear in TMPA'21

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

[8]  arXiv:2111.02649 [pdf, other]

Title: Logically Sound Arguments for the Effectiveness of ML Safety Measures

Authors: Chih-Hong Cheng, Tobias Schuster, Simon Burton

Comments: v2: fix typos and change some phrases to make the context clear

Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)

[9]  arXiv:2111.02998 [pdf, other]

Title: Small model property reflects in games and automata

Authors: Maciej Zielenkiewicz

Subjects: Logic in Computer Science (cs.LO)

[10]  arXiv:2111.03117 [pdf, other]

Title: Sound approximate and asymptotic probabilistic bisimulations for PCTL

Authors: Massimo Bartoletti, Maurizio Murgia, Roberto Zunino

Subjects: Logic in Computer Science (cs.LO)

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

Title: Automatic Repair and Deadlock Detection for Parameterized Systems

Authors: Swen Jacobs (1), Mouhammad Sakr (2), Marcus Völp (2) ((1) CISPA Helmholtz Center for Information Security, Saarbrücken, Germany, (2) SnT, University of Luxembourg)

Subjects: Logic in Computer Science (cs.LO)

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

Title: Learning Formulas in Finite Variable Logics

Authors: Paul Krogmeier, P. Madhusudan

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

[13]  arXiv:2111.03781 [pdf, other]

Title: Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis

Authors: Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee

Comments: 12 pages, 6 figures

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

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

Title: Confidence Composition for Monitors of Verification Assumptions

Authors: Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor Carpenter, Oleg Sokolsky, Insup Lee

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

[15]  arXiv:2111.03784 [pdf, other]

Title: Computational category-theoretic rewriting

Authors: Kristopher Brown, Evan Patterson, Tyler Hanks, James Fairbanks

Subjects: Logic in Computer Science (cs.LO)

[16]  arXiv:2111.03855 [pdf, ps, other]

Title: A Presheaf Semantics for Quantified Temporal Logics

Authors: Fabio Gadducci, Davide Trotta

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

[17]  arXiv:2111.03956 [pdf, other]

Title: Graphical Piecewise-Linear Algebra

Authors: Guillaume Boisseau, Robin Piedeleu

Comments: 21 pages, Submitted to FoSSaCS 2022

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

[18]  arXiv:2111.04082 [pdf, ps, other]

Title: Pattern-based Subterm Selection in Isabelle

Authors: Lars Noschinski, Christoph Traut

Comments: Isabelle Workshop 2014

Subjects: Logic in Computer Science (cs.LO)

[19]  arXiv:2111.04083 [pdf, other]

Title: Order-theoretic trees: monadic second-order descriptions and regularity

Authors: Bruno Courcelle

Comments: 32 pages, 6 figures

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

[20]  arXiv:2111.04407 [pdf, other]

Title: Gradient-Descent for Randomized Controllers under Partial Observability

Authors: Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

Comments: Technical Report VMCAI22 submission

Subjects: Logic in Computer Science (cs.LO)

[21]  arXiv:2111.04793 [pdf, other]

Title: Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties

Authors: Deepak Kapur

Subjects: Logic in Computer Science (cs.LO)

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

Title: Enumerating Independent Linear Inferences

Authors: Anupam Das, Alex Rice

Comments: 33 pages, 3 figures

Subjects: Logic in Computer Science (cs.LO)

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

Title: Complexity of the Ackermann fragment with one leading existential quantifier

Authors: Reijo Jaakkola

Comments: Major revision. The alternating procedure that was presented in the previous version was not sound and hence accepted sentences which were not satisfiable. The problem present in the previous version is now fixed, but the resulting proof is more involved. The presentation has been improved significantly

Subjects: Logic in Computer Science (cs.LO)

[24]  arXiv:2111.06806 [pdf, ps, other]

Title: First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries

Authors: Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Comments: Accepted for JAIR

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

[25]  arXiv:2111.07092 [pdf, ps, other]

Title: The Theory of an Arbitrary Higher $λ$-Model

Authors: Daniel O. Martínez-Rivillas, Ruy J.G.B. de Queiroz

Subjects: Logic in Computer Science (cs.LO)