Logic in Computer Science

Authors and titles for March 2018

[1] arXiv:1803.00427 [pdf, other]

Title: The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter

Koko Muroya, Dan R. Ghica

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

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 4 (October 30, 2019) lmcs:4340

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

[2] arXiv:1803.00555 [pdf, other]

Title: Sequentialization for full N-Graphs via sub-N-Graphs

Ruan V. B. Carvalho, Lais S. Andrade, Anjolina G. de Oliveira, Ruy J. G. B. de Queiroz

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:1803.00699 [pdf, other]

Title: QWIRE Practice: Formal Verification of Quantum Circuits in Coq

Robert Rand (University of Pennsylvania), Jennifer Paykin (University of Pennsylvania), Steve Zdancewic (University of Pennsylvania)

Comments: In Proceedings QPL 2017, arXiv:1802.09737

Journal-ref: EPTCS 266, 2018, pp. 119-132

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

[4] arXiv:1803.00705 [pdf, other]

Title: On the Structure of Abstract H*-Algebras

Kevin Dunne (University of Strathclyde)

Comments: In Proceedings QPL 2017, arXiv:1802.09737

Journal-ref: EPTCS 266, 2018, pp. 197-208

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

[5] arXiv:1803.00709 [pdf, other]

Title: Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations

Kevin Dunne (University of Strathclyde)

Comments: In Proceedings QPL 2017, arXiv:1802.09737

Journal-ref: EPTCS 266, 2018, pp. 386-398

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

[6] arXiv:1803.00914 [pdf, other]

Title: Realizability Interpretation and Normalization of Typed Call-by-Need $$λ$$-calculus With Control

Étienne Miquey (GALLINETTE, PI.R2), Hugo Herbelin (PI.R2)

Journal-ref: FOSSACS 18, 2018, Thessalonique, Greece

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1803.01049 [pdf, other]

Title: Classical Transitions

Fabrizio Montesi, Marco Peressotti

Comments: IMADA-preprint

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1803.01366 [pdf, other]

Title: Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models

Anna Philippou, Mauricio Toro

Journal-ref: International Conference on Software Engineering and Formal Methods, 345-361. 2013

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[9] arXiv:1803.01418 [pdf, other]

Title: Complexity and (un)decidability of fragments of $\langle ω^{ω^λ}; \times \rangle$

Alexis Bès, Christian Choffrut

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

[10] arXiv:1803.01448 [pdf, other]

Title: Tree dimension in verification of constrained Horn clauses

Bishoksan Kafle, John P. Gallagher, Pierre Ganty

Comments: Under consideration for publication in Theory and Practice of Logic Programming (TPLP)

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1803.01466 [pdf, other]

Title: Learning how to Prove: From the Coq Proof Assistant to Textbook Style

Sebastian Böhne (Universität Potsdam), Christoph Kreitz (Universität Potsdam)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 1-18

Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[12] arXiv:1803.01467 [pdf, other]

Title: The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs

Arno Ehle (University of Kassel), Norbert Hundeshagen (University of Kassel), Martin Lange (University of Kassel)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 19-37

Subjects: Logic in Computer Science (cs.LO); Computers and Society (cs.CY)

[13] arXiv:1803.01472 [pdf, other]

Title: Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models

Wolfgang Schreiner (Johannes Kepler University, Linz, Austria), Alexander Brunhuemer (Johannes Kepler University, Linz, Austria), Christoph Fürst (Johannes Kepler University, Linz, Austria)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 120-139

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1803.01473 [pdf, other]

Title: Natural Deduction and the Isabelle Proof Assistant

Jørgen Villadsen (Technical University of Denmark), Andreas Halkjær From (Technical University of Denmark), Anders Schlichtkrull (Technical University of Denmark)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 140-155

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1803.01696 [pdf, other]

Title: Positive Announcements

Hans van Ditmarsch, Tim French, James Hales

Journal-ref: Studia Logica 109(3): 639-681, 2021

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:1803.01709 [pdf, other]

Title: On the Use of Computational Paths in Path Spaces of Homotopy Type Theory

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Tiago Mendonça Lucena de Veras

Comments: 16 pages. arXiv admin note: substantial text overlap with arXiv:1609.05079

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1803.01914 [pdf, other]

Title: Costs and Rewards in Priced Timed Automata

Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1803.02051 [pdf, other]

Title: Efficient Decentralized LTL Monitoring Framework Using Tableau Technique

Omar Al-Bataineh, David Rosenblum

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1803.02180 [pdf, other]

Title: Probabilistic team semantics

Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1803.02613 [pdf, other]

Title: Correct by Construction Resource-based Process Composition

Petros Papapanagiotou, Jacques Fleuriot

Comments: Superseded by arXiv:1808.05490

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1803.02651 [pdf, other]

Title: Borel Kernels and their Approximation, Categorically

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva

Comments: 17 pages, 4 figures

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

[22] arXiv:1803.02653 [pdf, other]

Title: On the Expressiveness and Monitoring of Metric Temporal Logic

Hsi-Ming Ho, Joël Ouaknine, James Worrell

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 2 (May 10, 2019) lmcs:4366

Subjects: Logic in Computer Science (cs.LO)

[23] arXiv:1803.02659 [pdf, other]

Title: Communicating Concurrent Processes

Yong Wang

Comments: 9 pages

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1803.02776 [pdf, other]

Title: On the Verification of Logically Decorated Graph Transformations

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1803.03127 [pdf, other]

Title: Alleviating State-space Explosion in Component-based Systems with Distributed, Parallel Reachability Analysis Algorithm

Vasumathi K. Narayanan

Comments: arXiv admin note: text overlap with arXiv:1709.10379 by other authors

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[26] arXiv:1803.03164 [pdf, other]

Title: On the Complexity of Pointer Arithmetic in Separation Logic (an extended version)

James Brotherston, Max Kanovich

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1803.03173 [pdf, other]

Title: Towards the Modular Specification and Validation of Cyber-Physical Systems

Andre Metelo, Christiano Braga, Diego Brandão

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:1803.03417 [pdf, other]

Title: Clocked Definitions in HOL

Ramana Kumar, Magnus O. Myreen

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1803.04808 [pdf, other]

Title: Semi-BCI Algebras

Regivan H.N. Santiago, Benjamin Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro

Comments: 30 pages, 1 figure

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1803.05535 [pdf, other]

Title: An Assertion-Based Program Logic for Probabilistic Programs

Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub

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

[31] arXiv:1803.05937 [pdf, other]

Title: Definable decompositions for graphs of bounded linear cliquewidth

Mikołaj Bojańczyk, Martin Grohe, Michał Pilipczuk

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 1 (January 25, 2021) lmcs:5295

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1803.06005 [pdf, other]

Title: Linear logic in normed cones: probabilistic coherence spaces and beyond

Sergey Slavnov

Comments: This paper was posted previosly under the title "Noncommutative coherence spaces for full linear logic", bit it was pointed out to the author that the title is totally misleading. This is a revised version with the new title and some minor corrections

Journal-ref: Math. Struct. Comp. Sci. 31 (2021) 495-534

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1803.06488 [pdf, other]

Title: An extended type system with lambda-typed lambda-expressions (extended version)

Matthias Weber

Comments: 246 pages

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:1803.06649 [pdf, other]

Title: Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing

Taichi Uemura

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1803.06752 [pdf, other]

Title: Scalar and Vectorial mu-calculus with Atoms

Bartek Klin, Mateusz Łełyk

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 4 (October 29, 2019) lmcs:4389

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1803.06811 [pdf, other]

Title: Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors

Natsuki Urabe, Ichiro Hasuo

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1803.07303 [pdf, other]

Title: Containment of Shape Expression Schemas for RDF

Slawek Staworko, Piotr Wieczorek

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:1803.07543 [pdf, other]

Title: On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies

Edward Hermann Haeusler, Alexandre Rademaker

Comments: This is an extended version of the paper published in the proceedings of the festschrift of prof. Luiz Fariñas del Cerro in Toulouse 2015. (this http URL). arXiv admin note: substantial text overlap with arXiv:1402.0225

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1803.08019 [pdf, other]

Title: The Subpower Membership Problem for Finite Algebras with Cube Terms

Andrei Bulatov, Peter Mayr, Ágnes Szendrei

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (February 13, 2019) lmcs:4396

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:1803.08193 [pdf, other]

Title: The Epistemology of Nondeterminism

Adam Bjorndahl

Comments: 21 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO)

[41] arXiv:1803.08668 [pdf, other]

Title: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

John P. Gallagher, Rob van Glabbeek, Wendelin Serwe

Journal-ref: EPTCS 268, 2018

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

[42] arXiv:1803.08727 [pdf, other]

Title: Equivariant ZFA with Choice: a position paper

Murdoch J. Gabbay

Comments: In ARW 2018

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

[43] arXiv:1803.08958 [pdf, other]

Title: A Curry-Howard Approach to Church's Synthesis

Cécilia Pradic, Colin Riba

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 4 (December 9, 2019) lmcs:4414

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:1803.09297 [pdf, other]

Title: Proof nets and the instantiation overflow property

Paolo Pistone

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

[45] arXiv:1803.09511 [pdf, other]

Title: Left-eigenvectors are certificates of the Orbit Problem

Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem

Comments: 12 pages + references, submutted to ICALP 2018

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:1803.09559 [pdf, other]

Title: On Expansion and Resolution in CEGAR Based QBF Solving

Leander Tentrup

Comments: Appeared at in the proceedings of CAV 2017

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:1803.09566 [pdf, other]

Title: BoSy: An Experimentation Framework for Bounded Synthesis

Peter Faymonville, Bernd Finkbeiner, Leander Tentrup

Comments: Appeared in the proceedings of CAV 2017

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:1803.09570 [pdf, other]

Title: Encodings of Bounded Synthesis

Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup

Comments: Appeared in the proceedings of TACAS 2017

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:1803.09660 [pdf, other]

Title: The Delta-calculus: syntax and types

Luigi Liquori, Claude Stolze

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:1803.09703 [pdf, other]

Title: Bounded Context Switching for Valence Systems

Roland Meyer, Sebastian Muskalla, Georg Zetzsche

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

[51] arXiv:1803.09709 [pdf, other]

Title: A many-sorted polyadic modal logic

Ioana Leustean, Natalia Moanga, Traian Florin Serbanuta

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:1803.10104 [pdf, other]

Title: Reactive Synthesis: Towards Output-Sensitive Algorithms

Bernd Finkbeiner, Felix Klein

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

Subjects: Logic in Computer Science (cs.LO)

[53] arXiv:1803.10143 [pdf, other]

Title: An extended type system with lambda-typed lambda-expressions

Matthias Weber

Comments: for extended version, see arXiv:1803.06488

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (December 1, 2020) lmcs:4409

Subjects: Logic in Computer Science (cs.LO)

[54] arXiv:1803.10154 [pdf, other]

Title: Facets of Software Doping

Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns

Comments: arXiv admin note: substantial text overlap with arXiv:1702.04693

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

[55] arXiv:1803.10323 [pdf, other]

Title: Modeling a Cache Coherence Protocol with the Guarded Action Language

Quentin L. Meunier (Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6), Yann Thierry-Mieg (Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6), Emmanuelle Encrenaz (Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6)

Comments: In Proceedings MARS/VPT 2018, arXiv:1803.08668

Journal-ref: EPTCS 268, 2018, pp. 88-103

Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)

[56] arXiv:1803.10508 [pdf, other]

Title: Bundled fragments of first-order modal logic: (un)decidability

Anantha Padmanabha, R. Ramanujam, Yanjing Wang

Comments: 20 pages, under submission

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

[57] arXiv:1803.10953 [pdf, other]

Title: Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)

Jixin Liu, Yanjing Wang, Yifeng Ding

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

[58] arXiv:1803.00091 (cross-list from cs.AI) [pdf, other]

Title: Verification of Markov Decision Processes with Risk-Sensitive Measures

Murat Cubuktepe, Ufuk Topcu

Comments: 7 pages, to appear in ACC 2018

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

[59] arXiv:1803.00655 (cross-list from cs.GT) [pdf, other]

Title: Memoryless Determinacy of Infinite Parity Games: Another Simple Proof

Stephane Le Roux

Comments: 10 pages, 6 figures

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[60] arXiv:1803.00697 (cross-list from quant-ph) [pdf, other]

Title: Common Denominator for Value and Expectation No-go Theorems: Extended Abstract

Andreas Blass (University of Michigan), Yuri Gurevich (Microsoft and University of Michigan)

Comments: In Proceedings QPL 2017, arXiv:1802.09737

Journal-ref: EPTCS 266, 2018, pp. 98-103

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

[61] arXiv:1803.01469 (cross-list from cs.HC) [pdf, other]

Title: A Theorem Prover for Scientific and Educational Purposes

Mario Frank (University of Potsdam, Institute for Computer Science, Potsdam, Germany), Christoph Kreitz (University of Potsdam, Institute for Computer Science, Potsdam, Germany)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 59-69

Subjects: Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[62] arXiv:1803.01552 (cross-list from math.LO) [pdf, other]

Title: Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)

Silvio Ghilardi, Maria Joao Gouveia (ULISBOA), Luigi Santocanale (LIS)

Comments: extended version of arXiv:1601.00402

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

[63] arXiv:1803.01911 (cross-list from math.OA) [pdf, other]

Title: Dagger and Dilation in the Category of Von Neumann algebras

Bas Westerbaan

Subjects: Operator Algebras (math.OA); Logic in Computer Science (cs.LO); Functional Analysis (math.FA); Quantum Algebra (math.QA)

[64] arXiv:1803.02393 (cross-list from cs.GT) [pdf, other]

Title: Game Theoretic Analysis of Road User Safety Scenarios Involving Autonomous Vehicles

Umberto Michieli, Leonardo Badia

Comments: Accepted at 'IEEE International Symposium on Personal, Indoor and Mobile Radio Communications' 9-12 September 2018 - Bologna, Italy. Special Session on 'Wireless Technologies for Connected and Autonomous Vehicles'. 7 pages, 5 figures

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[65] arXiv:1803.02796 (cross-list from cs.PL) [pdf, other]

Title: Resource Polymorphism

Guillaume Munch-Maccagnoni

Comments: 62 pages

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

[66] arXiv:1803.03483 (cross-list from math.LO) [pdf, other]

Title: Inquisitive bisimulation

Ivano Ciardelli, Martin Otto

Comments: This revised version has been prepared for publication in JSL; it covers, in greater detail, the general theory expounded in (v1) and is to be complemented by a companion paper that deals with the epistemic setting (Section 9 in (v1), which is not covered in the current revised version (v2)). arXiv admin note: text overlap with arXiv:1707.08742

Journal-ref: J. symb. log. 86 (2021) 77-109

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

[67] arXiv:1803.03605 (cross-list from math.DS) [pdf, other]

Title: Cantor-Bendixson ranks of countable SFTs

Ilkka Törmä

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

[68] arXiv:1803.03753 (cross-list from math.LO) [pdf, other]

Title: On a metric generalization of the $tt$-degrees and effective dimension theory

Takayuki Kihara

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

[69] arXiv:1803.04451 (cross-list from cs.PL) [pdf, other]

Title: Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption

Pedro Lopez-Garcia, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo

Comments: Under consideration for publication in Theory and Practice of Logic Programming (TPLP)

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

[70] arXiv:1803.04756 (cross-list from cs.GT) [pdf, other]

Title: A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games

Laure Daviaud, Marcin Jurdzinski, Ranko Lazic

Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[71] arXiv:1803.05077 (cross-list from math.LO) [pdf, other]

Title: Axiomatic systems and topological semantics for intuitionistic temporal logic

Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero

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

[72] arXiv:1803.05078 (cross-list from math.LO) [pdf, other]

Title: Bisimulations for intuitionistic temporal logics

Philippe Balbiani, Joseph Boudou, Marín Diéguez, David Fernández-Duque

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

[73] arXiv:1803.05797 (cross-list from math.LO) [pdf, other]

Title: Rigid models of Presburger arithmetic

Emil Jeřábek

Comments: 10 pages; accepted to Mathematical Logic Quarterly

Journal-ref: Mathematical Logic Quarterly 65 (2019), no. 1, pp. 108--115

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

[74] arXiv:1803.06157 (cross-list from cs.DM) [pdf, other]

Title: Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks

Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé

Comments: preprint

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

[75] arXiv:1803.06445 (cross-list from cs.DB) [pdf, other]

Title: Datalog: Bag Semantics via Set Semantics

Leopoldo Bertossi, Georg Gottlob, Reinhard Pichler

Comments: Extended version of paper appearing in Proc. ICDT 2019

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

[76] arXiv:1803.06494 (cross-list from cs.CR) [pdf, other]

Title: Attack Trees in Isabelle

Florian Kammüller

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

[77] arXiv:1803.06547 (cross-list from cs.PL) [pdf, other]

Title: Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms

Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy

Comments: Full version of ESOP'19 paper

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

[78] arXiv:1803.06878 (cross-list from cs.CC) [pdf, other]

Title: Parameterized Complexity of Fair Vertex Evaluation Problems

Dušan Knop, Tomáš Masařík, Tomáš Toufar

Comments: 25 pages, 5 figures, presented at MFCS 2019

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[79] arXiv:1803.07313 (cross-list from math.LO) [pdf, other]

Title: On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains

Federico Aschieri (Institut für Logic and Computation Technische Universität Wien)

Comments: In Proceedings CL&C 2018, arXiv:1810.05392

Journal-ref: EPTCS 281, 2018, pp. 1-9

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

[80] arXiv:1803.09553 (cross-list from cs.DC) [pdf, other]

Title: Local verification of global proofs

Laurent Feuilloley, Juho Hirvonen

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

[81] arXiv:1803.09681 (cross-list from cs.AI) [pdf, other]

Title: I/O Logic in HOL --- First Steps

Christoph Benzmüller, Xavier Parent

Comments: 7 pages, 3 figures

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

[82] arXiv:1803.10042 (cross-list from cs.CR) [pdf, other]

Title: A Game-Theoretic Approach to Information-Flow Control via Protocol Composition

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi

Comments: Published in the journal Entropy, an extended version of POST'18 conference paper (arXiv:1802.10465)

Journal-ref: Entropy 2018, 20(5), 382

Subjects: Cryptography and Security (cs.CR); Computer Science and Game Theory (cs.GT); Information Theory (cs.IT); Logic in Computer Science (cs.LO)

[83] arXiv:1803.10080 (cross-list from math.LO) [pdf, other]

Title: A sequent calculus for a semi-associative law

Noam Zeilberger

Comments: This article is an extended version of a paper presented at FSCD 2017. [v2: minor rev] arXiv admin note: text overlap with arXiv:1701.02917

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (February 5, 2019) lmcs:4406

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

[84] arXiv:1803.10113 (cross-list from math.CT) [pdf, other]

Title: Univalent polymorphism

Benno van den Berg

Comments: Corrected typos, updated references and added a section on Church's Thesis

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

[85] arXiv:1803.10324 (cross-list from cs.SE) [pdf, other]

Title: Ten Diverse Formal Models for a CBTC Automatic Train Supervision System

Franco Mazzanti (ISTI-CNR), Alessio Ferrari (ISTI-CNR)

Comments: In Proceedings MARS/VPT 2018, arXiv:1803.08668

Journal-ref: EPTCS 268, 2018, pp. 104-149

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[86] arXiv:1803.10327 (cross-list from cs.PL) [pdf, other]

Title: An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata

Robert Glück (DIKU, Dept. of Computer Science, University of Copenhagen)

Comments: In Proceedings MARS/VPT 2018, arXiv:1803.08668

Journal-ref: EPTCS 268, 2018, pp. 169-184

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

[87] arXiv:1803.10328 (cross-list from cs.PL) [pdf, other]

Title: Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations

Bernhard Beckert (Karlsruhe Institute of Technology), Timo Bingmann (Karlsruhe Institute of Technology), Moritz Kiefer (Karlsruhe Institute of Technology), Peter Sanders (Karlsruhe Institute of Technology), Mattias Ulbrich (Karlsruhe Institute of Technology), Alexander Weigl (Karlsruhe Institute of Technology)

Comments: In Proceedings MARS/VPT 2018, arXiv:1803.08668

Journal-ref: EPTCS 268, 2018, pp. 185-199

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

[88] arXiv:1803.10393 (cross-list from quant-ph) [pdf, other]

Title: Quantum Coupling and Strassen Theorem

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying

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

[89] arXiv:1803.10843 (cross-list from math.LO) [pdf, other]

Title: Generalizations of the Recursion Theorem

Sebastiaan A. Terwijn

Journal-ref: J. symb. log. 83 (2018) 1683-1690

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

[90] arXiv:1803.11017 (cross-list from cs.ET) [pdf, other]

Title: Reversible Gates in Emerging Quantum-dot Cellular Automata Technology: An Innovative Approach to Design and Simulation

Moein Sarvaghad-Moghaddam, Ali A. Orouji, Zeinab Ramezani, Iraj Sadegh Amiri, Alireza Mahdavi Nejad

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

Subjects: Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO)

[91] arXiv:1803.11134 (cross-list from cs.CC) [pdf, other]

Title: Capturing Polynomial Time using Modular Decomposition

Berit Grußien

Comments: 38 pages, 10 Figures. A preliminary version of this article appeared in the Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '17)

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 5, 2019) lmcs:4416

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

[92] arXiv:1803.11229 (cross-list from cs.PL) [pdf, other]

Title: The process of purely event-driven programs

Bas van den Heuvel

Comments: Supervisors: Dr. A. Ponse and Dr. ir. B. Diertens; 15 pages, 3 figures in appendix; Updated most process descriptions to the style of PSF. Also fixed some design errors that came to light during testing

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