Logic in Computer Science

Authors and titles for February 2012

[1] arXiv:1202.0904 [pdf, other]

Title: Denotation of syntax and metaprogramming in contextual modal type theory (CMTT)

Murdoch Gabbay, Aleksandar Nanevski

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

[2] arXiv:1202.0914 [pdf, other]

Title: Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

Sebastian Rudolph (Karlsruhe Institute of Technology), Markus Krötzsch (Oxford University), Pascal Hitzler (Wright State University, Dayton, Ohio)

Comments: 38 pages, 3 figures, camera ready version of paper accepted for publication in Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (February 27, 2012) lmcs:806

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

[3] arXiv:1202.1309 [pdf, other]

Title: A Decidable Fragment of Strategy Logic

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

Comments: arXiv admin note: text overlap with arXiv:1112.6275

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

[4] arXiv:1202.1641 [pdf, other]

Title: On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)

Beniamino Accattoli, Ugo Dal Lago

Comments: 22 pages

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

[5] arXiv:1202.1980 [pdf, other]

Title: First-Order Logic on Higher-Order Nested Pushdown Trees

Alexander Kartzow

Comments: 41 pages

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

[6] arXiv:1202.2296 [pdf, other]

Title: An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning

Maria Luisa Bonet, Sam Buss

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

[7] arXiv:1202.2407 [pdf, other]

Title: Proceedings Fourth Workshop on Mathematically Structured Functional Programming

James Chapman (Institute of Cybernetics, Tallinn), Paul Blain Levy (University of Birmingham)

Journal-ref: EPTCS 76, 2012

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

[8] arXiv:1202.3174 [pdf, other]

Title: Proceedings 8th Workshop on Fixed Points in Computer Science

Dale Miller (INRIA-Saclay, France), Zoltán Ésik (University of Szeged, Hungary)

Comments: For more information about FICS 2012, please visit the webpage of the conference: this http URL

Journal-ref: EPTCS 77, 2012

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

[9] arXiv:1202.3264 [pdf, other]

Title: Generalized powerlocales via relation lifting

Yde Venema, Steve Vickers, Jacob Vosmaer

Comments: 44 pages

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

[10] arXiv:1202.3317 [pdf, other]

Title: An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version)

Ugo Dal Lago, Paolo Parisen Toldin

Comments: 32 pages

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

[11] arXiv:1202.3484 [pdf, other]

Title: Symbolic bisimulation for quantum processes

Yuan Feng, Yuxin Deng, Mingsheng Ying

Comments: 30 pages, 7 figures, comments are welcome

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1202.3496 [pdf, other]

Title: Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types

Andreas Abel (Department of Computer Science, Ludwig-Maximilians-University Munich)

Comments: In Proceedings FICS 2012, arXiv:1202.3174

Journal-ref: EPTCS 77, 2012, pp. 1-11

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

[13] arXiv:1202.3497 [pdf, other]

Title: Characteristic Formulae for Relations with Nested Fixed Points

Luca Aceto, Anna Ingólfsdóttir

Comments: In Proceedings FICS 2012, arXiv:1202.3174

Journal-ref: EPTCS 77, 2012, pp. 15-22

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1202.3498 [pdf, other]

Title: IO vs OI in Higher-Order Recursion Schemes

Axel Haddad (LIGM & LIAFA)

Comments: In Proceedings FICS 2012, arXiv:1202.3174

Journal-ref: EPTCS 77, 2012, pp. 23-30

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1202.3500 [pdf, other]

Title: Model-Checking the Higher-Dimensional Modal mu-Calculus

Martin Lange (School of Electrical Engineering and Computer Science, University of Kassel, Germany), Etienne Lozes (School of Electrical Engineering and Computer Science, University of Kassel, Germany)

Comments: In Proceedings FICS 2012, arXiv:1202.3174

Journal-ref: EPTCS 77, 2012, pp. 39-46

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

[16] arXiv:1202.3501 [pdf, other]

Title: Cut-elimination for the mu-calculus with one variable

Grigori Mints, Thomas Studer

Comments: In Proceedings FICS 2012, arXiv:1202.3174

Journal-ref: EPTCS 77, 2012, pp. 47-54

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1202.3502 [pdf, other]

Title: Structured general corecursion and coinductive graphs [extended abstract]

Tarmo Uustalu

Comments: In Proceedings FICS 2012, arXiv:1202.3174

Journal-ref: EPTCS 77, 2012, pp. 55-61

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

[18] arXiv:1202.3538 [pdf, other]

Title: Refinement Modal Logic

Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat

Journal-ref: Information and Computation, Volume 239, December 2014, Pages 303-339

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

[19] arXiv:1202.4144 [pdf, other]

Title: Towards an efficient prover for the C1 paraconsistent logic

Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger

Comments: 16 pages

Journal-ref: Electronic Notes in Theoretical Computer Science. Volume 256, 2 December 2009, Pages 87-102. Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009)

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

[20] arXiv:1202.4175 [pdf, other]

Title: Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives

Krishnendu Chatterjee, Manas Joglekar, Nisarg Shah

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1202.4193 [pdf, other]

Title: Exponential Lower Bounds and Separation for Query Rewriting

Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael Zakharyaschev

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1202.4281 [pdf, other]

Title: Bounded Termination of Monotonicity-Constraint Transition Systems

Amir M. Ben-Amram, Michael Vainer

Comments: 46 pages. Research has been presented at DICE 2011 (Saarbruecken, Germany, March 2011), 2FC 2011 (Novi Sad, Serbia, May 2011) and DANSAS (Odense, Denmark, August 2011). Revised (twice) to correct errors in previous versions

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

[23] arXiv:1202.4509 [pdf, other]

Title: Rich Counter-Examples for Temporal-Epistemic Logic Model Checking

Simon Busard (UCLouvain, Belgium), Charles Pecheur (UCLouvain, Belgium)

Comments: In Proceedings IWIGP 2012, arXiv:1202.4229

Journal-ref: EPTCS 78, 2012, pp. 39-53

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

[24] arXiv:1202.4678 [pdf, other]

Title: A Categorical Model for the Lambda Calculus with Constructors

Barbara Petit

Comments: 21 pages

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1202.4824 [pdf, other]

Title: A General Form of Attribute Exploration

Daniel Borchmann

Subjects: Logic in Computer Science (cs.LO)