Logic in Computer Science

Authors and titles for August 2008

[1] arXiv:0808.0441 [pdf, other]

Title: Exhaustible sets in higher-type computation

Martin Escardo

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 3 (August 27, 2008) lmcs:693

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:0808.0521 [pdf, other]

Title: Logics for the Relational Syllogistic

Ian Pratt-Hartmann, Lawrence S. Moss

Journal-ref: Review of Symbolic Logic, 2(4), 2009, pp. 647--683

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Computation and Language (cs.CL)

[3] arXiv:0808.0540 [pdf, other]

Title: Executable Set Theory and Arithmetic Encodings in Prolog

Paul Tarau

Comments: Unpublished draft

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)

[4] arXiv:0808.0554 [pdf, other]

Title: Ranking and Unranking of Hereditarily Finite Functions and Permutations

Paul Tarau

Comments: unpublished draft

Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)

[5] arXiv:0808.0555 [pdf, other]

Title: Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog

Paul Tarau

Comments: also in the informal proceedings of CICLOPS 2008 workshop at: this http URL

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[6] arXiv:0808.0962 [pdf, other]

Title: Verification of Peterson's Algorithm for Leader Election in a Unidirectional Asynchronous Ring Using NuSMV

Amin Ansari

Comments: 11 pages, 6 figures

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

[7] arXiv:0808.3651 [pdf, other]

Title: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations

Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen

Comments: LMCS

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 4 (November 11, 2008) lmcs:989

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:0808.3928 [pdf, other]

Title: On the strength of proof-irrelevant type theories

Benjamin Werner

Comments: 20 pages, Logical Methods in Computer Science, Long version of IJCAR 2006 paper

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 3 (September 26, 2008) lmcs:1142

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:0808.4133 [pdf, other]

Title: Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge

Valentin Goranko, Dmitry Shkatov

Comments: To appear in the Proceedings of the 6th IEEE Conference on Software Engineering and Formal Methods (SEFM 2008)

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

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

Title: Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three

Barnaby Martin

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

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

Title: A Formal Foundation for XrML

Joseph Y. Halpern, Vicky Weissman

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

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

Title: Ockham's razor and reasoning about information flow

Mehrnoosh Sadrzadeh

Comments: 15 pages

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

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

Title: Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification

Hélène Collavizza (I3S), Michel Rueher (I3S), Pascal Van Hentenryck (Brown University)

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

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

Title: Every Computably Enumerable Random Real Is Provably Computably Enumerable Random

Cristian S. Calude, Nicholas J. Hay

Comments: 28 pages, minor update. Logic Journal of the IGPL, to appear in 2009

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

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

Title: Classical Knowledge for Quantum Security

Ellie D'Hondt, Mehrnoosh Sadrzadeh

Comments: extended abstract, 13 pages

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

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

Title: The Complexity of Reasoning for Fragments of Default Logic

Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer

Comments: Corrected version

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