Logic in Computer Science

Authors and titles for cs.LO in Oct 2021

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

Title: Deadlock Freedom for Asynchronous and Cyclic Process Networks

Authors: Bas van den Heuvel (University of Groningen), Jorge A. Pérez (University of Groningen)

Comments: In Proceedings ICE 2021, arXiv:2109.14908. arXiv admin note: text overlap with arXiv:2101.09038

Journal-ref: EPTCS 347, 2021, pp. 38-56

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:2110.00147 [pdf, other]

Title: Decomposing Monolithic Processes in a Process Algebra with Multi-actions

Authors: Maurice Laveaux, Tim A.C. Willemse

Comments: In Proceedings ICE 2021, arXiv:2109.14908. This is a peer reviewed version of arXiv:2012.06468 [cs.LO]. This revision contains more examples but omits proofs

Journal-ref: EPTCS 347, 2021, pp. 57-76

Subjects: Logic in Computer Science (cs.LO)

[3]  arXiv:2110.00562 [pdf, other]

Title: Computational Complexity of Deciding Provability in Linear Logic and its Fragments

Authors: Florian Chudigiewitsch

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

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

Title: Cyclic Implicit Complexity

Authors: Gianluca Curzi, Anupam Das

Comments: 53 pages, 3 figures

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

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

Title: Formal Verification of Quantum Programs: Theory, Tools and Challenges

Authors: Marco Lewis, Sadegh Soudjani, Paolo Zuliani

Comments: 32 pages; changes to Sections 2, 3, 4, 5.5, Appendix

Journal-ref: ACM Transactions on Quantum Computing 5, 1, Article 1 (March 2024), 35 pages

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

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

Title: One-Dimensional Fragment over Words and Trees

Authors: Emanuel Kieronski, Antti Kuusisto

Comments: Full version of [1] Emanuel Kieronski: One-Dimensional Logic over Words. CSL 2016: 38:1-38:15 [2] Emanuel Kieronski, Antti Kuusisto: One-Dimensional Logic over Trees. MFCS 2017: 64:1-64:13

Journal-ref: J. Log. Comput. 32(5): 902-941 (2022)

Subjects: Logic in Computer Science (cs.LO)

[7]  arXiv:2110.02691 [pdf, other]

Title: Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

Authors: Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu

Comments: accepted for publication in FSTTCS 2021

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

[8]  arXiv:2110.02783 [pdf, other]

Title: Active Learning for Sound Negotiations

Authors: Anca Muscholl, Igor Walukiewicz

Comments: To appear in LICS'22

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

[9]  arXiv:2110.03246 [pdf, ps, other]

Title: Unprovability results for clause set cycles

Authors: Stefan Hetzl, Jannik Vierling

Comments: Revised version

Subjects: Logic in Computer Science (cs.LO)

[10]  arXiv:2110.03315 [pdf, ps, other]

Title: On Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Authors: Simon Guilloud, Viktor Kunčak

Subjects: Logic in Computer Science (cs.LO)

[11]  arXiv:2110.03551 [pdf, other]

Title: Formalizing Geometric Algebra in Lean

Authors: Eric Wieser, Utensil Song

Comments: 26 pages. This is the version accepted for publication on 2021-07-22, after peer review, in "Advances in Applied Clifford Algebras". This is not the Version of Record and does not reflect post-acceptance improvements, or corrections by the journal. Note that the web version of this article provided by the journal has typesetting issues not present here or in the journal's PDF

Journal-ref: Advances in Applied Clifford Algebras 32, Article 28 (2022)

Subjects: Logic in Computer Science (cs.LO)

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

Title: Uniform Guarded Fragments

Authors: Reijo Jaakkola

Comments: Fixed a bug in the proof of lemma 8, simplified the proof of lemma 9 and minor changes to presentation

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

[13]  arXiv:2110.03964 [pdf, other]

Title: A Subexponential View of Domains in Session Types

Authors: Daniele Nantes (MAT-UnB), Carlos Olarte (ECT-UFRN/LIPN), Daniel Ventura (INF-UFG)

Comments: In Proceedings LSFA 2021, arXiv:2204.03415

Journal-ref: EPTCS 357, 2022, pp. 93-111

Subjects: Logic in Computer Science (cs.LO)

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

Title: Dynamic Logic of Legal Competences

Authors: Huimin Dong, Olivier Roy

Journal-ref: Journal of Logic, Language and Information (2021)

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

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

Title: Efficient Extensional Binary Tries

Authors: Andrew W Appel, Xavier Leroy (CAMBIUM)

Journal-ref: Journal of Automated Reasoning, 2023, 67, pp.Article number 8

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

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

Title: Quantitative Equality in Substructural Logic via Lipschitz Doctrines

Authors: Francesco Dagnino, Fabio Pasquali

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

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

Title: Free Commutative Monoids in Homotopy Type Theory

Authors: Vikraman Choudhury, Marcelo Fiore

Comments: Appeared in MFPS'22

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10492

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

[18]  arXiv:2110.05630 [pdf, other]

Title: Notes on kAExp(pol) problems for deterministic machines

Authors: Alessio Mansutti

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

[19]  arXiv:2110.05992 [pdf, ps, other]

Title: Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula

Authors: Sagar Malhotra, Luciano Serafini

Comments: To Appear in The Proceedings of AAAI 2022. arXiv admin note: text overlap with arXiv:2009.12237

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

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

Title: First-Order Modal $ξ$-Calculus: On the Aspects of Application and Bisimulation

Authors: Xinyu Wang

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

[21]  arXiv:2110.08196 [pdf, other]

Title: The Pebble-Relation Comonad in Finite Model Theory

Authors: Yoàv Montacute, Nihil Shah

Comments: Appears in Logic in Computer Science (LICS) 2022 Proceedings

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

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

Title: Voting Theory in the Lean Theorem Prover

Authors: Wesley H. Holliday, Chase Norman, Eric Pacuit

Comments: Postprint of the paper in Proceedings of the Eighth International Conference on Logic, Rationality and Interaction (Springer) with two typos fixed

Subjects: Logic in Computer Science (cs.LO)

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

Title: Verification of MPI programs

Authors: Andrew M. Mironov

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

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

Title: Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic

Authors: Zhiguang Zhao

Subjects: Logic in Computer Science (cs.LO)

[25]  arXiv:2110.08785 [pdf, other]

Title: Correct Probabilistic Model Checking with Floating-Point Arithmetic

Authors: Arnd Hartmanns

Subjects: Logic in Computer Science (cs.LO)