Logic in Computer Science

Authors and titles for cs.LO in Jan 2014

[1]  arXiv:1401.0379 [pdf, other]

Title: Counting Terms in the Binary Lambda Calculus

Authors: Katarzyna Grygiel, Pierre Lescanne (LIP)

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[2]  arXiv:1401.0445 [pdf, ps, other]

Title: Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining

Authors: Siva Anantharaman (LIFO, Universite d'Orleans (France)), Christopher Bouchard (University at Albany - SUNY), Paliath Narendran (University at Albany - SUNY), Michaël Rusinowitch (Loria-INRIA Grand Est, Nancy (France))

Comments: 26 pages

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (February 9, 2014) lmcs:808

Subjects: Logic in Computer Science (cs.LO)

[3]  arXiv:1401.0885 [pdf, ps, other]

Title: Knowledge Spaces and the Completeness of Learning Strategies

Authors: Stefano Berardi (University of Turin), Ugo de'Liguoro (University of Turin)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (February 12, 2014) lmcs:729

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

[4]  arXiv:1401.0969 [pdf, other]

Title: Automated Reasoning over Deontic Action Logics with Finite Vocabularies

Authors: Pablo F. Castro (Universidad Nacional de Rio Cuarto - CONICET), Thomas S. E. Maibaum (McMaster University)

Comments: In Proceedings LAFM 2013, arXiv:1401.0564

Journal-ref: EPTCS 139, 2014, pp. 16-30

Subjects: Logic in Computer Science (cs.LO)

[5]  arXiv:1401.0998 [pdf, ps, other]

Title: Semantic A-translation and Super-consistency entail Classical Cut Elimination

Authors: Lisa Allali (LIX), Olivier Hermant (CRI, INRIA Paris-Rocquencourt)

Journal-ref: LPAR 19 - 19th Conference on Logic for Programming, Artificial Intelligence, and Reasoning - 2013 8312 (2013) 407-422

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

[6]  arXiv:1401.1053 [pdf, other]

Title: Terminal semantics for codata types in intensional Martin-Löf type theory

Authors: Benedikt Ahrens, Régis Spadotti

Comments: 14 pages, ancillary files contain formalized proof in the proof assistant Coq; v2: 20 pages, title and abstract changed, give a terminal semantics for streams as well as for matrices, Coq proof files updated accordingly

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

[7]  arXiv:1401.1139 [pdf, ps, other]

Title: Extensionality of lambda-*

Authors: Andrew Polonsky

Comments: 25 pages

Subjects: Logic in Computer Science (cs.LO)

[8]  arXiv:1401.1148 [pdf, ps, other]

Title: Internalization of extensional equality

Authors: Andrew Polonsky

Comments: 31 pages

Subjects: Logic in Computer Science (cs.LO)

[9]  arXiv:1401.1448 [pdf, ps, other]

Title: Linear Temporal Logic for Regular Cost Functions

Authors: Denis Kuperberg

Comments: 37 pages, 13 figures, accepted to LMCS, updated version 08/02/2017

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (February 4, 2014) lmcs:1222

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

[10]  arXiv:1401.1475 [pdf, ps, other]

Title: Belief Revision in Structured Probabilistic Argumentation

Authors: Paulo Shakarian, Gerardo I. Simari, Marcelo A. Falappa

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

[11]  arXiv:1401.1693 [pdf, other]

Title: Certification for mu-calculus with winning strategies

Authors: Martin Hofmann, Harald Ruess

Comments: Presented at the VeriSure workshop associated with CAV'13 in St. Petersburg in July 2013

Subjects: Logic in Computer Science (cs.LO)

[12]  arXiv:1401.1849 [pdf, ps, other]

Title: The Computational Complexity of Propositional Cirquent Calculus

Authors: Matthew Steven Bauer (University of Illinois at Urbana-Champaign)

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

Subjects: Logic in Computer Science (cs.LO)

[13]  arXiv:1401.2515 [pdf, ps, other]

Title: An intuitionistic version of Ramsey Theorem (italian version)

Authors: Stefano Berardi (Universita di Torino)

Comments: in Italian

Subjects: Logic in Computer Science (cs.LO)

[14]  arXiv:1401.2567 [pdf, ps, other]

Title: Axioms and Decidability for Type Isomorphism in the Presence of Sums

Authors: Danko Ilik

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

[15]  arXiv:1401.2580 [pdf, ps, other]

Title: A Proof of Kamp's theorem

Authors: Alexander Rabinovich (Tel Aviv University)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (February 18, 2014) lmcs:730

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

[16]  arXiv:1401.3280 [pdf, ps, other]

Title: Groupoid Semantics for Thermal Computing

Authors: Krzysztof Bar, Jamie Vicary

Comments: We describe a groupoid model for thermodynamic computation, and a quantization procedure that turns encrypted communication into quantum teleportation. Everything is done using higher category theory

Subjects: Logic in Computer Science (cs.LO)

[17]  arXiv:1401.3289 [pdf, ps, other]

Title: The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies

Authors: Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[18]  arXiv:1401.3325 [pdf, ps, other]

Title: Equilibria in multi-player multi-outcome infinite sequential games

Authors: Stéphane Le Roux, Arno Pauly

Comments: Section 8 of Version 1 is no longer part of the article, and will in time be made available elsewhere; Section 7 of Version 2 has been expanded into this http URL

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); General Topology (math.GN)

[19]  arXiv:1401.3463 [pdf, ps, other]

Title: Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability

Authors: Roberto Sebastiani, Michele Vescovi

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 343-389, 2009

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

[20]  arXiv:1401.3472 [pdf, ps, other]

Title: Variable Forgetting in Reasoning about Knowledge

Authors: Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 677-716, 2009

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

[21]  arXiv:1401.3475 [pdf, ps, other]

Title: Prime Implicates and Prime Implicants: From Propositional to Modal Logic

Authors: Meghyn Bienvenu

Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 71-128, 2009

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

[22]  arXiv:1401.3476 [pdf, ps, other]

Title: The Complexity of Circumscription in DLs

Authors: Piero A. Bonatti, Carsten Lutz, Frank Wolter

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 717-773, 2009

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

[23]  arXiv:1401.3484 [pdf, ps, other]

Title: Modularity Aspects of Disjunctive Stable Models

Authors: Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 813-857, 2009

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

[24]  arXiv:1401.3485 [pdf, ps, other]

Title: Hypertableau Reasoning for Description Logics

Authors: Boris Motik, Rob Shearer, Ian Horrocks

Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 165-228, 2009

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

[25]  arXiv:1401.3487 [pdf, ps, other]

Title: The DL-Lite Family and Relations

Authors: Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 1-69, 2009

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