Logic in Computer Science

Authors and titles for February 2013

[26] arXiv:1302.6339 [pdf, other]

Title: Bigraphical Nets

Maribel Fernández, Ian Mackie, Matthew Walker

Comments: In Proceedings TERMGRAPH 2013, arXiv:1302.5997

Journal-ref: EPTCS 110, 2013, pp. 74-81

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

[27] arXiv:1302.6421 [pdf, other]

Title: ML4PG in Computer Algebra verification

Jónathan Heras, Ekaterina Komendantskaya

Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)

[28] arXiv:1302.6514 [pdf, other]

Title: Bisimulation and p-morphism for branching-time logics with indistinguishability relations

Alberto Gatto

Comments: 10 pages, corrected typos

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1302.6813 [pdf, other]

Title: On Modal Logics for Qualitative Possibility in a Fuzzy Setting

Petr Hajek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluis Godo

Comments: Appears in Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (UAI1994)

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

[30] arXiv:1302.6890 [pdf, other]

Title: A Graphical Language for Proof Strategies

Gudmund Grov, Aleks Kissinger, Yuhui Lin

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:1302.6960 [pdf, other]

Title: Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories

Luis Barguñó (Universitat Politécnica de Catalunya), Carles Creus (Universitat Politécnica de Catalunya), Guillem Godoy (Universitat Politécnica de Catalunya), Florent Jacquemard (INRIA Saclay, LSV-CNRS), Camille Vacher (LIFL, Univ. Lille I, INRIA Lille)

Comments: 39 pages, to appear in LMCS journal

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 2 (April 2, 2013) lmcs:1161

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

[32] arXiv:1302.7111 [pdf, other]

Title: Syllogisms in Rudimentary Linear Logic, Diagrammatically

Ruggero Pagnan

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

[33] arXiv:1302.7168 [pdf, other]

Title: Order effects in dynamic semantics

Peter beim Graben

Comments: Comment on a target article "A quantum question order model supported by empirical tests of an a priori and precise prediction", Topics in Cognitive Science, by Wang and Busemeyer (2013)

Subjects: Logic in Computer Science (cs.LO)

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

Title: Functional Dependence in Strategic Games

Kristine Harjes, Pavel Naumov

Journal-ref: Notre Dame J. Formal Logic 57, no. 3 (2016), 341-353

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

[35] arXiv:1302.0778 (cross-list from math.GT) [pdf, other]

Title: On graphic lambda calculus and the dual of the graphic beta move

Marius Buliga

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

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

Title: A preliminary univalent formalization of the p-adic numbers

Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren

Comments: 57 pages

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

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

Title: Expressing Second-order Sentences in Intuitionistic Dependence Logic

Fan Yang

Comments: 18 pages

Journal-ref: Studia Logica, April 2013, Volume 101, Issue 2, pp. 323-342

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

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

Title: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang

Comments: To appear in a special issue of Journal of Philosophical Logic

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[39] arXiv:1302.3481 (cross-list from cs.FL) [pdf, other]

Title: One-variable word equations in linear time

Artur Jeż

Comments: submitted to a journal, general overhaul over the previous version

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

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

Title: Topological Subset Space Models for Public Announcements

Adam Bjorndahl

Comments: 21 pages, 2 figures

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

[41] arXiv:1302.4248 (cross-list from cs.GT) [pdf, other]

Title: Looking at Mean-Payoff and Total-Payoff through Windows

Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin

Comments: Extended version of ATVA 2013 version. Full version to appear in Information and Computation

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

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

Title: Model Checking Lower Bounds for Simple Graphs

Michael Lampis (Research Institute for Mathematical Sciences (RIMS), Kyoto University)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (March 25, 2014) lmcs:976

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

[43] arXiv:1302.4421 (cross-list from cs.AI) [pdf, other]

Title: Towards a theory of good SAT representations

Matthew Gwynne, Oliver Kullmann

Comments: 59 pages; second version with some extended discussions and editorial corrections, third version with extended introduction, more examples and explanations, and some editorial improvements, fourth version with further examples, explanations and discussions, and with added computational experiments

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

[44] arXiv:1302.4545 (cross-list from cs.GT) [pdf, other]

Title: Preference-Based Unawareness

Burkhard C. Schipper

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

[45] arXiv:1302.4931 (cross-list from cs.AI) [pdf, other]

Title: An Algebraic Semantics for Possibilistic Logic

Luca Boldrin, Claudio Sossai

Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)

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

[46] arXiv:1302.5798 (cross-list from cs.PL) [pdf, other]

Title: Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Simon Gay, Paul Kelly

Journal-ref: EPTCS 109, 2013

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[47] arXiv:1302.5997 (cross-list from cs.SC) [pdf, other]

Title: Proceedings 7th International Workshop on Computing with Terms and Graphs

Rachid Echahed (CNRS, University of Grenoble, France), Detlef Plump (University of York, UK)

Journal-ref: EPTCS 110, 2013

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

[48] arXiv:1302.6043 (cross-list from cs.DM) [pdf, other]

Title: FO Model Checking of Interval Graphs

Robert Ganian (Vienna University of Technology), Petr Hlineny (Masaryk University, Brno), Daniel Kral (University of Warwick), Jan Obdrzalek (Masaryk University, Brno), Jarett Schwartz (UC Berkeley), Jakub Teska (University of West Bohemia, Pilsen)

Comments: Paper as accepted to the LMCS journal. An extended abstract of an earlier version of this paper has appeared at ICALP'13. Main changes to the previous version are mostly small improvements in presentation

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 14, 2015) lmcs:1612

Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[49] arXiv:1302.6325 (cross-list from cs.PL) [pdf, other]

Title: A Note on "A polynomial-time algorithm for global value numbering"

Saleena Nabeezath, Vineeth Paleri

Comments: 5 pages

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

[50] arXiv:1302.6332 (cross-list from cs.PL) [pdf, other]

Title: Typing Context-Dependent Behavioural Variation

Pierpaolo Degano (Dipartimento di Informatica - Università di Pisa), Gian-Luigi Ferrari (Dipartimento di Informatica - Università di Pisa), Letterio Galletta (Dipartimento di Informatica - Università di Pisa), Gianluca Mezzetti (Dipartimento di Informatica - Università di Pisa)

Comments: In Proceedings PLACES 2012, arXiv:1302.5798

Journal-ref: EPTCS 109, 2013, pp. 28-33

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