Logic in Computer Science

Authors and titles for February 2015

[26] arXiv:1502.04464 [pdf, other]

Title: On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4

Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark Barrett

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1502.04578 [pdf, other]

Title: The MSO+U theory of (N, <) is undecidable

Mikołaj Bojańczyk, Paweł Parys, Szymon Toruńczyk

Comments: 9 pages, with 2 figures

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:1502.04634 [pdf, other]

Title: The exp-log normal form of types

Danko Ilik

Journal-ref: POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Pages 387-399. Paris, France -- January 15 - 21, 2017

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

[29] arXiv:1502.04769 [pdf, other]

Title: Undecidability of Multiplicative Subexponential Logic

Kaustuv Chaudhuri (INRIA)

Comments: In Proceedings LINEARITY 2014, arXiv:1502.04419

Journal-ref: EPTCS 176, 2015, pp. 1-8

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1502.04770 [pdf, other]

Title: A Linear/Producer/Consumer Model of Classical Linear Logic

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

Comments: In Proceedings LINEARITY 2014, arXiv:1502.04419

Journal-ref: EPTCS 176, 2015, pp. 9-23

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

[31] arXiv:1502.04771 [pdf, other]

Title: Cut Elimination in Multifocused Linear Logic

Taus Brock-Nannestad (INRIA &amp; LIX, École Polytechnique), Nicolas Guenot (IT University of Copenhagen)

Comments: In Proceedings LINEARITY 2014, arXiv:1502.04419

Journal-ref: EPTCS 176, 2015, pp. 24-33

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1502.04773 [pdf, other]

Title: Ludics without Designs I: Triads

Michele Basaldella (Université d'Aix-Marseille, CNRS, I2M, Marseille, France)

Comments: In Proceedings LINEARITY 2014, arXiv:1502.04419

Journal-ref: EPTCS 176, 2015, pp. 49-63

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1502.04774 [pdf, other]

Title: Wave-Style Token Machines and Quantum Lambda Calculi

Ugo Dal Lago (Università di Bologna &amp; INRIA), Margherita Zorzi (Università di Verona)

Comments: In Proceedings LINEARITY 2014, arXiv:1502.04419

Journal-ref: EPTCS 176, 2015, pp. 64-78

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

[34] arXiv:1502.04775 [pdf, other]

Title: Geometry of Resource Interaction - A Minimalist Approach

Marco Solieri (LIPN, Paris 13, Sorbonne Paris Cité, CNRS -- DISI, Bologna, INRIA)

Comments: In Proceedings LINEARITY 2014, arXiv:1502.04419

Journal-ref: EPTCS 176, 2015, pp. 79-94

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

[35] arXiv:1502.04844 [pdf, other]

Title: The Complexity of Synthesis from Probabilistic Components

Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1502.04898 [pdf, other]

Title: Recognisable languages over monads

Mikołaj Bojańczyk

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1502.05147 [pdf, other]

Title: Finitary semantics of linear logic and higher-order model-checking

Charles Grellois, Paul-André Melliès

Comments: 12 pages, submitted

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

[38] arXiv:1502.05209 [pdf, other]

Title: Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker

Luís Cruz-Filipe, Peter Schneider-Kamp

Comments: IMADA-preprint-cs

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1502.05501 [pdf, other]

Title: NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper)

Gábor Alagi, Christoph Weidenbach

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:1502.05561 [pdf, other]

Title: Positive Inductive-Recursive Definitions

Neil Ghani (University of Strathclyde), Fredrik Nordvall Forsberg (University of Strathclyde), Lorenzo Malatesta (University of Strathclyde)

Comments: 21 pages

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 1 (March 27, 2015) lmcs:1154

Subjects: Logic in Computer Science (cs.LO)

[41] arXiv:1502.05748 [pdf, other]

Title: A Multiple-Valued Logic Approach to the Design and Verification of Hardware Circuits

Amnon Rosenmann

Comments: 34 pages, 4 figures

Subjects: Logic in Computer Science (cs.LO)

[42] arXiv:1502.05834 [pdf, other]

Title: Bimodal logics with a `weakly connected' component without the finite model property

Agi Kurucz

Journal-ref: Notre Dame J. Formal Logic 58, no. 2 (2017), 287-299

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

[43] arXiv:1502.05860 [pdf, other]

Title: On the relative proof complexity of deep inference via atomic flows

Anupam Das (École Normale Supérieure de Lyon (ENS Lyon), France)

Comments: 27 pages, 2 figures, full version of conference paper

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 1 (March 6, 2015) lmcs:735

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

[44] arXiv:1502.06095 [pdf, other]

Title: Bialgebraic Semantics for Logic Programming

Filippo Bonchi, Fabio Zanasi

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 1 (March 30, 2015) lmcs:1155

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:1502.06359 [pdf, other]

Title: A Sound and Complete Axiomatization of Majority-n Logic

Luca Amaru, Pierre-Emmanuel Gaillardon, Anupam Chattopadhyay, Giovanni De Micheli

Comments: Accepted by the IEEE Transactions on Computers

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:1502.06360 [pdf, other]

Title: Mutually Testing Processes

Giovanni Bernardi (Trinity College Dublin), Matthew Hennessy (Trinity College Dublin)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 2 (April 14, 2015) lmcs:776

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:1502.06882 [pdf, other]

Title: On Reducing Linearizability to State Reachability

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:1502.07326 [pdf, other]

Title: Rational fuzzy attribute logic

Vilem Vychodil

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:1502.07467 [pdf, other]

Title: Reachability is in DynFO

Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume

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

[50] arXiv:1502.07549 [pdf, other]

Title: Model-checking branching-time properties of probabilistic automata and probabilistic one-counter automata

T. Lin

Comments: This paper is no interesting today from the author's viewpoint, so withdrawn

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