Logic in Computer Science

Authors and titles for cs.LO in Sep 2018

[1]  arXiv:1809.00134 [pdf, other]

Title: The Data Complexity of Ontology-Mediated Queries with Closed Predicates

Authors: Carsten Lutz, Inanc Seylan, Frank Wolter

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 3 (August 28, 2019) lmcs:5723

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:1809.00167 [pdf, ps, other]

Title: Linear Temporal Justification Logics with Past Operators

Authors: Meghdad Ghari

Subjects: Logic in Computer Science (cs.LO)

[3]  arXiv:1809.00503 [pdf, ps, other]

Title: Improving Convergence Rate Of IC3

Authors: Eugene Goldberg

Subjects: Logic in Computer Science (cs.LO)

[4]  arXiv:1809.00508 [pdf, other]

Title: A logic-algebraic tool for reasoning with Knowledge-Based Systems

Authors: José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, M. Magdalena Fernández-Lebrón, M. José Hidalgo-Doblado

Comments: 41 pages, 7 figures. To appear in Journal of Logical and Algebraic Methods in Programming

Subjects: Logic in Computer Science (cs.LO)

[5]  arXiv:1809.00559 [pdf, other]

Title: Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs

Authors: Yves Bertot (MARELLE)

Journal-ref: International Colloquium on Theoretical of Computing (ICTAC), Oct 2018, Stellenbosch, South Africa

Subjects: Logic in Computer Science (cs.LO); Computational Geometry (cs.CG)

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

Title: A characterization of the consistent Hoare powerdomains over dcpos

Authors: Zhongxi Zhang, Qingguo Li, Nan Zhang

Comments: 6 pages, a direct characterization

Subjects: Logic in Computer Science (cs.LO)

[7]  arXiv:1809.01103 [pdf, other]

Title: An automatic tool for checking multi-party contracts

Authors: Adilson Luiz Bonifacio, Wellington Aparecido Della Mura

Comments: 28 pages, 26 figures, 3 tables, 2 algorithms

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

[8]  arXiv:1809.02416 [html]

Title: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification

Authors: Andrea Orlandini (National Research Council of Italy), Martin Zimmermann (Saarland University)

Journal-ref: EPTCS 277, 2018

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

[9]  arXiv:1809.02659 [pdf, other]

Title: Revisiting Call-by-value Böhm trees in light of their Taylor expansion

Authors: Emma Kerinec, Giulio Manzonetto, Michele Pagani

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 3 (July 15, 2020) lmcs:6638

Subjects: Logic in Computer Science (cs.LO)

[10]  arXiv:1809.02781 [pdf, other]

Title: Affine Sessions

Authors: Dimitris Mostrous, Vasco T. Vasconcelos

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4 (November 15, 2018) lmcs:4973

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

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

Title: Well Quasiorders and Hierarchy Theory

Authors: Victor Selivanov

Comments: 37 pages

Subjects: Logic in Computer Science (cs.LO)

[12]  arXiv:1809.03094 [pdf, other]

Title: Classical Proofs as Parallel Programs

Authors: Federico Aschieri (TU Wien), Agata Ciabattoni (TU Wien), Francesco Antonio Genco (TU Wien)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416. arXiv admin note: text overlap with arXiv:1607.05120

Journal-ref: EPTCS 277, 2018, pp. 43-57

Subjects: Logic in Computer Science (cs.LO)

[13]  arXiv:1809.03095 [pdf, other]

Title: A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability

Authors: Éric Goubault (École Polytechnique), Jérémy Ledent (École Polytechnique), Sergio Rajsbaum (UNAM)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 73-87

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

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

Title: A Comparison of BDD-Based Parity Game Solvers

Authors: Lisette Sanchez, Wieger Wesselink, Tim A.C. Willemse

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 103-117

Subjects: Logic in Computer Science (cs.LO)

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

Title: Parameterized Verification of Coverability in Well-Structured Broadcast Networks

Authors: A.R. Balasubramanian (Chennai Mathematical Institute)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 133-146

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

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

Title: Temporal Logic and Model Checking for Operator Precedence Languages

Authors: Michele Chiari (DEIB, Politecnico di Milano), Dino Mandrioli (DEIB, Politecnico di Milano), Matteo Pradella (DEIB, Politecnico di Milano, and IEIIT, Consiglio Nazionale delle Ricerche)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 161-175

Subjects: Logic in Computer Science (cs.LO)

[17]  arXiv:1809.03101 [pdf, other]

Title: One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past

Authors: Luca Geatti (University of Udine, Italy), Nicola Gigante (University of Udine, Italy), Angelo Montanari (University of Udine, Italy), Mark Reynolds (University of Western Australia)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 176-190

Subjects: Logic in Computer Science (cs.LO)

[18]  arXiv:1809.03103 [pdf, other]

Title: Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground

Authors: Laura Bozzelli (University of Napoli Federico II, Italy), Alberto Molinari (University of Udine, Italy), Angelo Montanari (University of Udine, Italy), Adriano Peron (University of Napoli Federico II, Italy)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 191-205

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

[19]  arXiv:1809.03104 [pdf, other]

Title: On Computing the Measures of First-Order Definable Sets of Trees

Authors: Marcin Przybyłko

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 206-219

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

[20]  arXiv:1809.03106 [pdf, other]

Title: On Finding a First-Order Sentence Consistent with a Sample of Strings

Authors: Thiago Alves Rocha (Federal Institute of Ceará), Ana Teresa Martins (Federal University of Ceará), Francicleber Martins Ferreira (Federal University of Ceará)

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 220-234

Subjects: Logic in Computer Science (cs.LO)

[21]  arXiv:1809.03107 [pdf, other]

Title: Multi-weighted Markov Decision Processes with Reachability Objectives

Authors: Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal-ref: EPTCS 277, 2018, pp. 250-264

Subjects: Logic in Computer Science (cs.LO)

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

Title: A case study in formal verification of a Java program

Authors: Dmitry Brizhinev, Rajeev Goré

Comments: Written in August 2016

Subjects: Logic in Computer Science (cs.LO)

[23]  arXiv:1809.03245 [pdf, other]

Title: Finite Satisfiability of Unary Negation Fragment with Transitivity

Authors: Daniel Danielski, Emanuel Kieronski

Comments: Accepted for MFCS 2019

Subjects: Logic in Computer Science (cs.LO)

[24]  arXiv:1809.03254 [pdf, other]

Title: Elementary Multimodal Logics

Authors: Jakub Michaliszyn

Subjects: Logic in Computer Science (cs.LO)

[25]  arXiv:1809.03262 [pdf, other]

Title: Model Theory of Monadic Predicate Logic with the Infinity Quantifier

Authors: Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

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