Logic in Computer Science

Authors and titles for December 2019

[1] arXiv:1912.00010 [pdf, other]

Title: A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time

Flavio Ferrarotti, Senen Gonzáles, Klaus-Dieter Schewe, José María Turull-Torres

Comments: Draft of Paper submitted to the Logic Journal of the IGPL. arXiv admin note: substantial text overlap with arXiv:1806.07127

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

[2] arXiv:1912.00012 [pdf, other]

Title: Negative Translations for Affine and Lukasiewicz Logic

Rob Arthan, Paulo Oliva

Comments: arXiv admin note: text overlap with arXiv:1404.0570

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

[3] arXiv:1912.00171 [pdf, other]

Title: Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)

Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith

Comments: This extended version includes proofs omitted from the LATA 2020 version

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1912.00629 [pdf, other]

Title: A categorical reduction system for linear logic

Ryu Hasegawa

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:1912.00801 [pdf, other]

Title: Follow the Flow: sets, relations, and categories as special cases of functions with no domain

Adonai Sant'Anna, Otavio Bueno, Marcio de Franca

Comments: 61 pages, 10 figures

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1912.01032 [pdf, other]

Title: FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints

Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang

Comments: The paper was accepted by Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020). V2 (Feb 24): Typos corrected

Subjects: Logic in Computer Science (cs.LO); Information Theory (cs.IT); Machine Learning (cs.LG); Optimization and Control (math.OC)

[7] arXiv:1912.01107 [pdf, other]

Title: Towards a Formal Model for Composable Container Systems

Fabio Burco, Marino Miculan, Marco Peressotti

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1912.01333 [pdf, other]

Title: On the Herbrand Functional Interpretation

Paulo Oliva, Chuangjie Xu

Comments: 9 pages

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

[9] arXiv:1912.01476 [pdf, other]

Title: From MiniZinc to Optimization Modulo Theories, and Back (Extended Version)

Francesco Contaldo, Patrick Trentin, Roberto Sebastiani

Comments: Short Version published at CPAIOR 2020

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1912.01876 [pdf, other]

Title: Game Description Logic with Integers: A GDL Numerical Extension

Munyque Mittelmann, Laurent Perrussel

Comments: 23 pages, extended version of the paper published at the conference FoIKS 2020 (11th International Symposium on Foundations of Information and Knowledge Systems)

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

[11] arXiv:1912.01914 [pdf, other]

Title: A Quantitative Understanding of Pattern Matching

Sandra Alves, Delia Kesner, Daniel Ventura

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

[12] arXiv:1912.02211 [pdf, other]

Title: A Constructive Formalization of the Weak Perfect Graph Theorem

Abhishek Kr Singh, Raja Natarajan

Comments: The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020)

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

[13] arXiv:1912.02636 [pdf, other]

Title: Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar

Qingxiang Wang, Chad Brown, Cezary Kaliszyk, Josef Urban

Comments: The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

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

[14] arXiv:1912.02731 [pdf, other]

Title: The Expressiveness of Looping Terms in the Semantic Programming

Sergey Goncharov, Sergey Ospichev, Denis Ponomaryov, Dmitri Sviridenko

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1912.02885 [pdf, other]

Title: Isomorphism Revisited

David McAllester

Comments: This paper lacks adequate proofs of the claims

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:1912.02898 [pdf, other]

Title: Recursive algorithms to repair prioritized and inconsistent dl-lite knowledge base

Ghassen Hamdi, Abdelmoutia Telli, Mohamed Nazih Omri

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1912.03252 [pdf, other]

Title: Diversity, Dependence and Independence

Pietro Galliani, Jouko Väänänen

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

[18] arXiv:1912.03841 [pdf, other]

Title: A Logic that Captures $β$P on Ordered Structures

Kexu Wang, Xishun Zhao

Comments: 15 pages. This article was reported with a title "Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism" in National Conference on Modern Logic 2019, on November 9 in Beijing

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

[19] arXiv:1912.04496 [pdf, other]

Title: Continuous Domains in Formal Concept Analysis

Longchun Wang Lankun Guo, Qingguo Li

Journal-ref: Fundamenta Informaticae 179 (2021)

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

[20] arXiv:1912.05616 [pdf, other]

Title: Ensuring Liveness Properties of Distributed Systems: Open Problems

Rob van Glabbeek

Comments: An earlier version of this paper appeared as arXiv:1711.04240

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1912.05793 [pdf, other]

Title: The Extended HOA Format for Synthesis

Guillermo A. Perez

Comments: Updated the link to a cited tool and made it explicit that parity automata can be assumed to be complete

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

[22] arXiv:1912.05828 [pdf, other]

Title: Formal Verification of Debates in Argumentation Theory

Ria Jha, Francesco Belardinelli, Francesca Toni

Comments: Accepted for publication as full paper at the 35th ACM/SIGAPP Symposium On Applied Computing (SAC2020), KRR track

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

[23] arXiv:1912.06110 [pdf, other]

Title: The theory of concatenation over finite models

Dominik D. Freydenberger, Liat Peterfreund

Comments: Update to make this version consistent with conference version (ICALP 2021), which renamed Datasplog to FC-Datalog

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

[24] arXiv:1912.06191 [pdf, other]

Title: idris-ct: A Library to do Category Theory in Idris

Fabrizio Genovese (Statebox Team), Alex Gryzlov (Statebox Team), Jelle Herold (Statebox Team), Andre Knispel (Statebox Team), Marco Perone (Statebox Team), Erik Post (Statebox Team), André Videla (Statebox Team)

Comments: In Proceedings ACT 2019, arXiv:2009.06334

Journal-ref: EPTCS 323, 2020, pp. 246-254

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

[25] arXiv:1912.06467 [pdf, other]

Title: A farewell to Professor RNDr. Věra Trnková}, DrSc

Jiří Adámek

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:1912.06578 [pdf, other]

Title: The Complexity of Verifying Population Protocols

Javier Esparza, Stefan Jaax, Mikhail Raskin, Chana Weil-Kennedy

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1912.06611 [pdf, other]

Title: A Formal Proof of the Irrationality of $ζ(3)$

Assia Mahboubi, Thomas Sibut-Pinote

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 1 (February 18, 2021) lmcs:5975

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:1912.07042 [pdf, other]

Title: Reconfiguration and Message Losses in Parameterized Broadcast Networks

Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 1 (March 18, 2021) lmcs:5981

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1912.07339 [pdf, other]

Title: Synthetic topology in Homotopy Type Theory for probabilistic programming

Martin E. Bidlingmaier, Florian Faissole, Bas Spitters

Journal-ref: Mathematical Structures in Computer Science, 1-29, 2021

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

[30] arXiv:1912.07340 [pdf, other]

Title: Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving

Sa'ed Abed, Adnan Rashid, Osman Hasan

Comments: 6 Pages

Journal-ref: Symposium on Applied Computing (SAC-2020)

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:1912.08277 [pdf, other]

Title: Testing Membership for Timed Automata

Richard Lassaigne, Michel de Rougemont

Comments: 26 pages

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

[32] arXiv:1912.08418 [pdf, other]

Title: Stone Duality for Relations

Alexander Kurz, Andrew Moshier, Achim Jung

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

[33] arXiv:1912.08482 [pdf, other]

Title: Hardness of Network Satisfaction for Relation Algebras with Normal Representations

Manuel Bodirsky, Simon Knäuer

Comments: 11 pages. Accepted for publication in the proceedings of RAMICS 2020 published by Springer

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Rings and Algebras (math.RA)

[34] arXiv:1912.08715 [pdf, other]

Title: Formula size games for modal logic and $μ$-calculus

Lauri Hella, Miikka Vilander

Comments: This is a preprint of an article published in Journal of Logic and Computation Published by Oxford University Press. arXiv admin note: substantial text overlap with arXiv:1604.07225

Journal-ref: Journal of Logic and Computation, exz025, Oxford University Press, 2019

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1912.08966 [pdf, other]

Title: Proceedings Tenth International Workshop on Graph Computation Models

Rachid Echahed, Detlef Plump

Journal-ref: EPTCS 309, 2019

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

[36] arXiv:1912.09298 [pdf, other]

Title: Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation

Manuel Bodirsky, Marcello Mamino, Caterina Viola

Comments: 45 pages. arXiv admin note: substantial text overlap with arXiv:1804.01710

Journal-ref: ACM Transactions on Computational Logic, 23(1), 2022

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

[37] arXiv:1912.09715 [pdf, other]

Title: A Paraconsistent ASP-like Language with Tractable Model Generation

Andrzej Szalas

Journal-ref: Journal of Applied Logic - IfColog Journal of Logic and their Applications, vol. 7, No. 3, 2020, 361-389, http://www.collegepublications.co.uk/downloads/ifcolog00039.pdf

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

[38] arXiv:1912.09741 [pdf, other]

Title: Formalizing Determinacy of Concurrent Revisions

Roy Overbeek

Comments: To appear in: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP '20), January 20--21, 2020, New Orleans, LA, USA. ACM, New York, NY, USA

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1912.09797 [pdf, other]

Title: Axiomatizing rectangular grids with no extra non-unary relations

Eryk Kopczynski

Comments: 9 pages, 1 figure

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:1912.09875 [pdf, other]

Title: Stubborn Set Reduction for Two-Player Reachability Games

Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 1 (March 18, 2021) lmcs:5997

Subjects: Logic in Computer Science (cs.LO)

[41] arXiv:1912.10041 [pdf, other]

Title: Probabilistic process algebra and strategic interleaving

C. A. Middelburg

Comments: 30 pages, major revision with adaptation of example from arXiv:2003.00473 incorporated (also text overlap with arXiv:1703.06822)

Journal-ref: Scientific Annals of Computer Science 30(2):205--243 (2020)

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

[42] arXiv:1912.10240 [pdf, other]

Title: Logic and Rational Languages of Scattered and Countable Series-Parallel Posets

Amazigh Amrane, Nicolas Bedon

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

[43] arXiv:1912.10285 [pdf, other]

Title: Verifying x86 Instruction Implementations

Shilpi Goel, Anna Slobodova, Rob Sumners, Sol Swords

Comments: Pre-Print of CPP2020 Paper

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:1912.10515 [pdf, other]

Title: Bringing Belief Base Change into Dynamic Epistemic Logic

Marlo Souza, Álvaro Moreira

Comments: Published at DaLI 2019

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

[45] arXiv:1912.10606 [pdf, other]

Title: Complexity of correctness for pomset logic proof nets

Lê Thành Dũng Nguyên

Comments: Fully subsumed by arXiv:2209.07825 (which contains a lot more material and has an additional coauthor)

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:1912.10717 [pdf, other]

Title: Towards Symbolic Factual Change in DEL

Malvin Gattinger

Comments: 11 pages, original proceedings available at this http URL

Journal-ref: Karoliina Lohiniva, Johannes Wahle (Eds.): Proceedings of the ESSLLI 2017 Student Session, pp. 14-24, 2017

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[47] arXiv:1912.10816 [pdf, other]

Title: Narrowing Down XML Template Expansion and Schema Validation

René Haberland

Comments: 46 pages, 12 figures, 2 appendices

Journal-ref: Master Thesis, 2007

Subjects: Logic in Computer Science (cs.LO); Information Retrieval (cs.IR)

[48] arXiv:1912.11223 [pdf, other]

Title: Scenario-Based Verification of Uncertain MDPs

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Comments: Accepted to TACAS 2020

Subjects: Logic in Computer Science (cs.LO); Optimization and Control (math.OC)

[49] arXiv:1912.11273 [pdf, other]

Title: Action Logic is Undecidable

Stepan Kuznetsov

Comments: 33 pages

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

[50] arXiv:1912.11786 [pdf, other]

Title: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

Martin Suda (CTU, Prague, Czech Republic), Sarah Winkler (University of Verona, Italy)

Journal-ref: EPTCS 311, 2019

Subjects: Logic in Computer Science (cs.LO)