Logic in Computer Science

Authors and titles for cs.LO in May 2021, skipping first 20

[21]  arXiv:2105.04057 [pdf, other]

Title: Fast Automated Reasoning over String Diagrams using Multiway Causal Structure

Authors: Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla

Comments: Submitted to Applied Category Theory 2021. 14 pages, 9 figures

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

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

Title: A Framework for Reasoning About LF Specifications

Authors: Mary Southern

Subjects: Logic in Computer Science (cs.LO)

[23]  arXiv:2105.04176 [pdf, other]

Title: HyperLTL Satisfiability is $Σ_1^1$-complete, HyperCTL* Satisfiability is $Σ_1^2$-complete

Authors: Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

Subjects: Logic in Computer Science (cs.LO)

[24]  arXiv:2105.04501 [pdf, other]

Title: Incorrectness Logic for Graph Programs

Authors: Christopher M. Poskitt

Comments: Accepted by the 14th International Conference on Graph Transformation (ICGT 2021)

Journal-ref: Proc. ICGT 2021, volume 12741 of LNCS, pages 81-101. Springer, 2021

Subjects: Logic in Computer Science (cs.LO)

[25]  arXiv:2105.04817 [pdf, other]

Title: Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down

Authors: Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata

Comments: 38 pages

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

[26]  arXiv:2105.04929 [pdf, other]

Title: Asynchronous Template Games and the Gray Tensor Product of 2-Categories

Authors: Melliès Paul-André

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

[27]  arXiv:2105.05133 [pdf, other]

Title: Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL

Authors: Simon Foster, Chung-Kil Hur, Jim Woodcock

Comments: 14 pages, submitted to CONCUR 2021

Subjects: Logic in Computer Science (cs.LO)

[28]  arXiv:2105.05763 [pdf, other]

Title: Iltis: Learning Logic in the Web

Authors: Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume

Subjects: Logic in Computer Science (cs.LO)

[29]  arXiv:2105.06009 [pdf, other]

Title: Verification of the Incremental Merkle Tree Algorithm with Dafny

Authors: Franck Cassez

Comments: 16 pages

Subjects: Logic in Computer Science (cs.LO)

[30]  arXiv:2105.06186 [pdf, other]

Title: Tracelet Hopf algebras and decomposition spaces

Authors: Nicolas Behr (Université de Paris, CNRS, IRIF), Joachim Kock (Universitat Autònoma de Barcelona)

Comments: 15+9 pages; Applied Category Theory 2021 pre-proceedings version

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