Logic in Computer Science

Authors and titles for September 2014

[1] arXiv:1409.0166 [pdf, other]

Title: Verifying Procedural Programs via Constrained Rewriting Induction

Carsten Fuhs, Cynthia Kop, Naoki Nishida

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1409.0266 [pdf, other]

Title: Virtual Evidence: A Constructive Semantics for Classical Logics

Robert L. Constable

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:1409.0582 [pdf, other]

Title: Probabilistic Rely-guarantee Calculus

Annabelle McIver, Tahiry Rabehaja, Georg Struth

Comments: Preprint submitted to TCS-QAPL

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1409.0824 [pdf, other]

Title: Deontic modality based on preference

Daniel Osherson, Scott Weinstein

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

[5] arXiv:1409.1544 [pdf, other]

Title: Observationally-induced algebras in Domain Theory

Ingo Battenfeld, Klaus Keimel, Thomas Streicher

Comments: 26 pages

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 3 (September 11, 2014) lmcs:963

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1409.1752 [pdf, other]

Title: Diophantine properties of Brownian motion: recursive aspects

Willem L. Fouche

Comments: Appeared in: Logic, Computation, Hierarchies, (Brattka, Diener, Spreen (Eds)), Ontos Verlag, 2014, pp 139-156. arXiv admin note: substantial text overlap with arXiv:1409.1060

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1409.2193 [pdf, other]

Title: An Epistemic Strategy Logic

Xiaowei Huang, Ron van der Meyden

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1409.2294 [pdf, other]

Title: Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems

Maurice H. ter Beek (ISTI-CNR, Pisa, Italy), António Ravara (New University of Lisbon, Portugal)

Journal-ref: EPTCS 163, 2014

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

[9] arXiv:1409.2408 [pdf, other]

Title: Interrupt Timed Automata with Auxiliary Clocks and Parameters

Béatrice Bérard, Serge Haddad, Aleksandra Jovanović, Didier Lime

Comments: 26 pages, 6 figures, extended version from Reachability Problems 2013

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

[10] arXiv:1409.2591 [pdf, other]

Title: A Local Logic for Realizability in Web Service Choreographies

R. Ramanujam (IMSc, Chennai), S. Sheerazuddin (SSNCE, Chennai)

Comments: In Proceedings WWV 2014, arXiv:1409.2294

Journal-ref: EPTCS 163, 2014, pp. 16-35

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

[11] arXiv:1409.2593 [pdf, other]

Title: Proceedings Fifth International Workshop on Classical Logic and Computation

Paulo Oliva (Queen Mary University of London)

Journal-ref: EPTCS 164, 2014

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1409.2612 [pdf, other]

Title: A simple proof of the completeness of APAL

Philippe Balbiani, Hans van Ditmarsch

Journal-ref: Studies in Logic (ISSN 1674-32-4), volume 8(1), pages 65-78, 2015

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1409.2711 [pdf, other]

Title: Unifying Hyper and Epistemic Temporal Logic

Laura Bozzelli, Bastien Maubert, Sophie Pinchinat

Comments: 12 pages, plus 35 pages of appendix. Submitted to FSTTCS 2014

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1409.2778 [pdf, other]

Title: Verification of Reachability Problems for Time Basic Petri Nets

Matteo Camilli

Comments: 21 pages. arXiv admin note: substantial text overlap with arXiv:1107.1166 by other authors

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

[15] arXiv:1409.3290 [pdf, other]

Title: A cirquent calculus system with clustering and ranking

Wenyan Xu

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

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:1409.3313 [pdf, other]

Title: A type system for Continuation Calculus

Herman Geuvers (Radboud Universiteit Nijmegen, Technical University Eindhoven), Wouter Geraedts (Radboud Universiteit Nijmegen), Bram Geron (University of Birmingham), Judith van Stegeren (Radboud Universiteit Nijmegen)

Comments: In Proceedings CL&C 2014, arXiv:1409.2593

Journal-ref: EPTCS 164, 2014, pp. 1-17

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

[17] arXiv:1409.3314 [pdf, other]

Title: A fully-abstract semantics of lambda-mu in the pi-calculus

Steffen van Bakel (Imperial College London), Maria Grazia Vigliotti (Adelard PLC)

Comments: In Proceedings CL&C 2014, arXiv:1409.2593

Journal-ref: EPTCS 164, 2014, pp. 33-47

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1409.3315 [pdf, other]

Title: Infinitary Classical Logic: Recursive Equations and Interactive Semantics

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

Comments: In Proceedings CL&C 2014, arXiv:1409.2593

Journal-ref: EPTCS 164, 2014, pp. 48-62

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1409.3316 [pdf, other]

Title: Confluence for classical logic through the distinction between values and computations

José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto

Comments: In Proceedings CL&C 2014, arXiv:1409.2593

Journal-ref: EPTCS 164, 2014, pp. 63-77

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1409.3360 [pdf, other]

Title: Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications

Krishnendu Chatterjee, Martin Chmelík, Raghav Gupta, Ayush Kanodia

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

[21] arXiv:1409.3428 [pdf, other]

Title: How constructive is constructing measures?

Arno Pauly, Willem L. Fouché

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

[22] arXiv:1409.3560 [pdf, other]

Title: Descriptive Control Theory: A Proposal

Sicun Gao

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

[23] arXiv:1409.3804 [pdf, other]

Title: Coproducts of Monads on Set

Jiří Adámek, Nathan Bowler, Paul B. Levy, Stefan Milius

Comments: Presented at the conference "27th Annual Symposium on Logic in Computer Science (LICS 2012)". The current version contains proofs of some of the results in the appendix

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1409.3805 [pdf, other]

Title: Colimits of Monads

Jiří Adámek

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1409.3819 [pdf, other]

Title: Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics

Damien Doligez (INRIA Paris-Rocquencourt), Jael Kriener (MSR - INRIA), Leslie Lamport, Tomer Libal (MSR - INRIA), Stephan Merz (INRIA Nancy - Grand Est / LORIA)

Comments: appears in Automated Reasoning in Quantified Non-Classical Logics (2014)

Subjects: Logic in Computer Science (cs.LO)