We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic in Computer Science

Authors and titles for recent submissions

[ total of 16 entries: 1-16 ]
[ showing up to 25 entries per page: fewer | more ]

Tue, 22 Aug 2017

[1]  arXiv:1708.06312 [pdf, other]
Title: Verifying Quantum Programs: From Quipper to QPMC
Comments: Long version
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:1708.06121 [pdf, ps, other]
Title: The satisfiability problem for Boolean set theory with a choice correspondence(Extended version)
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:1708.06010 [pdf, ps, other]
Title: The Universal Process
Authors: Yuxi Fu
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:1708.05896 [pdf, other]
Title: A Cointuitionistic Adjoint Logic
Comments: 54 pages
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:1708.05849 [pdf, other]
Title: Dependences in Strategy Logic
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:1708.05847 (cross-list from cs.PF) [pdf, other]
Title: Unbounded product-form Petri nets
Comments: 31 pages
Subjects: Performance (cs.PF); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[7]  arXiv:1708.05714 (cross-list from cs.CC) [pdf, other]
Title: A Stronger Foundation for Computer Science and P=NP
Authors: Mark Inman
Comments: 21 pages, 1 figure
Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Mon, 21 Aug 2017

[8]  arXiv:1708.05640 [pdf, ps, other]
Title: A similarity criterion for sequential programs using truth-preserving partial functions
Authors: Abhinav Aggarwal
Comments: Submitted as term paper in 2014
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:1708.05607 [pdf, other]
Title: Constructive Modalities with Provability Smack
Authors: Tadeusz Litak
Comments: The paper is a modified and extended version ("Author's Cut") of my contribution for the "Leo Esakia on Duality in Modal and Intuitionistic Logics."
Subjects: Logic in Computer Science (cs.LO)

Fri, 18 Aug 2017

[10]  arXiv:1708.05377 [pdf, ps, other]
Title: Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ode's
Authors: Michele Boreale
Comments: 19 pages
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:1708.05240 [pdf, ps, other]
Title: On Answer Substitutions in Logic Programming
Authors: Keehang Kwon
Comments: 5 pages
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:1708.05193 [pdf, ps, other]
Title: Proof-Relevant Logical Relations for Name Generation
Subjects: Logic in Computer Science (cs.LO)

Thu, 17 Aug 2017

[13]  arXiv:1708.04976 [pdf, other]
Title: A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[14]  arXiv:1708.04845 [pdf, ps, other]
Title: The descriptive complexity of modal mu model-checking parity games
Comments: extended preprint of paper accepted to GandALF 2017
Subjects: Logic in Computer Science (cs.LO)

Tue, 15 Aug 2017

[15]  arXiv:1708.04100 [pdf, ps, other]
Title: The Complexity of Probabilistic Justification Logic
Authors: Ioannis Kokkinis
Comments: presented to the 11th Panhellenic Logic Symposium (this http URL)
Subjects: Logic in Computer Science (cs.LO)
[16]  arXiv:1708.04070 [pdf, ps, other]
Title: Timed Epistemic Knowledge Bases for Social Networks (Extended Version)
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Social and Information Networks (cs.SI)
[ total of 16 entries: 1-16 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)