Logic in Computer Science

Authors and titles for November 2016

[1] arXiv:1611.00401 [pdf, other]

Title: Games for Bisimulations and Abstraction

David De Frutos Escrig, Jeroen J.A. Keiren, Tim A.C. Willemse

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 4 (November 28, 2017) lmcs:2192

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1611.00455 [pdf, other]

Title: On the Compositionality of Quantitative Information Flow

Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (August 15, 2017) lmcs:2199

Subjects: Logic in Computer Science (cs.LO); Information Theory (cs.IT)

[3] arXiv:1611.00580 [pdf, other]

Title: On Verifying Causal Consistency

Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza

Comments: extended version of POPL 2017

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1611.01296 [pdf, other]

Title: Goal-Driven Unfolding of Petri Nets

Thomas Chatain, Loïc Paulevé

Comments: research report

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

[5] arXiv:1611.01337 [pdf, other]

Title: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1611.01429 [pdf, other]

Title: Epistemic extensions of combined classical and intuitionistic propositional logic

Steffen Lewitzka

Comments: 23 pages

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1611.01553 [pdf, other]

Title: QBF Solving by Counterexample-guided Expansion

Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic

Comments: This is a **very** old version of the paper arXiv:1807.08964 and should be taken down. I did not know you could just replace papers, and did not know whether I could change authors and similar, so that is why I made a different submission. Please take it down

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

[8] arXiv:1611.01696 [pdf, other]

Title: Closure and Nonclosure Properties of the Compressible and Rankable Sets

Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon, Daniel Rubery

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

[9] arXiv:1611.02108 [pdf, other]

Title: Cubical Type Theory: a constructive interpretation of the univalence axiom

Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg

Comments: To be published in the post-proceedings of the 21st International Conference on Types for Proofs and Programs, TYPES 2015

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

[10] arXiv:1611.02112 [pdf, other]

Title: Extending Two-Variable Logic on Trees

Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieroński

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1611.02528 [pdf, other]

Title: LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks

Fu Song, Tayssir Touili

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

[12] arXiv:1611.02867 [pdf, other]

Title: Universal Algebraic Methods for Constraint Satisfaction Problems

Clifford Bergman, William DeMeo

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 19, 2022) lmcs:2568

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

[13] arXiv:1611.02908 [pdf, other]

Title: Coming to Terms with Quantified Reasoning

Laura Kovacs, Simon Robillard, Andrei Voronkov

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1611.03267 [pdf, other]

Title: Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants

Emanuel Kieronski, Lidia Tendera

Comments: Accepted for ACM TOCL

Journal-ref: ACM Trans. Comput. Log. 19(2): 8:1-8:34 (2018)

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1611.03524 [pdf, other]

Title: Quantified CTL with imperfect information

Raphaël Berthon, Bastien Maubert, Aniello Murano

Comments: New version: added EU logo to comply with Marie Curie fellowships requirements

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:1611.03628 [pdf, other]

Title: On Proving Confluence Modulo Equivalence for Constraint Handling Rules

Henning Christiansen, Maja H. Kirkeby

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1611.03656 [pdf, other]

Title: Compatibility Properties of Synchronously and Asynchronously Communicating Components

Rolf Hennicker, Michel Bidoit

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 1 (January 9, 2018) lmcs:2208

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1611.03714 [pdf, other]

Title: Computational Interpretations of Markov's principle

Matteo Manighetti

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

[19] arXiv:1611.04444 [pdf, other]

Title: Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic

Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez

Comments: 12 pages

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1611.04946 [pdf, other]

Title: Safety Model Checking with Complementary Approximations

Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Vardi

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1611.05183 [pdf, other]

Title: Coalgebraic trace semantics via forgetful logics

Bartek Klin, Jurriaan Rot

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2622

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1611.05640 [pdf, other]

Title: Stream Packing for Asynchronous Multi-Context Systems using ASP

Stefan Ellmauthaler, Jörg Pührer

Comments: Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)

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

[23] arXiv:1611.05672 [pdf, other]

Title: The Algebraic Intersection Type Unification Problem

Andrej Dudenhefner, Moritz Martens, Jakob Rehof

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (August 15, 2017) lmcs:2543

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1611.05990 [pdf, other]

Title: Monte Carlo Tableau Proof Search

Michael Färber, Cezary Kaliszyk, Josef Urban

Journal-ref: Proceedings of the 26th International Conference on Automated Deduction, CADE 2017

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

[25] arXiv:1611.06389 [pdf, other]

Title: The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating

Claus-Peter Wirth

Comments: ii+20pp

Journal-ref: IfCoLog Journal of Logics and their Applications, Vol. 4, number 2, March 2017, pp. 527--547

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