Logic in Computer Science

Authors and titles for February 2019

[26] arXiv:1902.04836 [pdf, other]

Title: Differentials and distances in probabilistic coherence spaces

Thomas Ehrhard (IRIF)

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

[27] arXiv:1902.05152 [pdf, other]

Title: The Cost of Monitoring Alone

Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen

Comments: 22 pages

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

[28] arXiv:1902.05172 [pdf, other]

Title: Computability logic: Giving Caesar what belongs to Caesar

Giorgi Japaridze

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1902.05193 [pdf, other]

Title: An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets

Jules Chouquet, Lionel Vaux Auclair

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 4 (December 20, 2021) lmcs:5196

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1902.05465 [pdf, other]

Title: Change Actions: Models of Generalised Differentiation

Mario Alvarez-Picallo, C.-H. Luke Ong

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:1902.05629 [pdf, other]

Title: Environmentally-friendly GR(1) Synthesis

Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck

Comments: Full version of the TACAS'19 paper with the same title

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1902.05720 [pdf, other]

Title: Descriptive complexity for minimal time of cellular automata

Étienne Grandjean, Théo Grente

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1902.05727 [pdf, other]

Title: Shepherding Hordes of Markov Chains

Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

Comments: Full version of TACAS'19 submission

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

[34] arXiv:1902.05762 [pdf, other]

Title: Coalgebra Learning via Duality

Simone Barlocco, Clemens Kupke, Jurriaan Rot

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1902.05905 [pdf, other]

Title: Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership

Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 3 (September 8, 2020) lmcs:5206

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1902.05945 [pdf, other]

Title: Types by Need (Extended Version)

Beniamino Accattoli, Giulio Guerrieri, Maico Leberle

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

[37] arXiv:1902.06178 [pdf, other]

Title: Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach

Marlo Souza, Álvaro Moreira, Renata Vieira

Comments: 8 pages, AAAI2019

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

[38] arXiv:1902.06576 [pdf, other]

Title: Coverability in 1-VASS with Disequality Tests

Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1902.06632 [pdf, other]

Title: Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics

Kees van Berkel, Tim Lyon

Comments: Appendix to paper "Cut-free Calculi and Relational Semantics for Temporal STIT logics", accepted to the 16th Joint European Conference on Logics in Artificial Intelligence (JELIA 2019)

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

[40] arXiv:1902.06648 [pdf, other]

Title: Approximations of Isomorphism and Logics with Linear-Algebraic Operators

Anuj Dawar, Erich Grädel, Wied Pakusa

Comments: 46 pages. Pre-submission version

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

[41] arXiv:1902.06733 [pdf, other]

Title: A static higher-order dependency pair framework

Carsten Fuhs, Cynthia Kop

Comments: Extended version of a paper which is to appear in the proceedings of ESOP 2019 (28th European Symposium on Programming). arXiv admin note: text overlap with arXiv:1805.09390

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

[42] arXiv:1902.07123 [pdf, other]

Title: Elementary-base cirquent calculus II: Choice quantifiers

Giorgi Japaridze

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1902.07230 [pdf, other]

Title: Uniform Substitution At One Fell Swoop

André Platzer

Comments: CADE 2019 Extending arXiv:1804.05880 with differential games arXiv:1507.04943

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

[44] arXiv:1902.07684 [pdf, other]

Title: An Adequate While-Language for Hybrid Computation

Sergey Goncharov, Renato Neves

Comments: Accepted at PPDP'19

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:1902.07741 [pdf, other]

Title: Founded World Views with Autoepistemic Equilibrium Logic

Pedro Cabalar, Jorge Fandinno, Luis Fariñas

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

[46] arXiv:1902.08048 [pdf, other]

Title: A complete axiomatisation of reversible Kleene lattices

Paul Brunet (UCL-CS)

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

[47] arXiv:1902.08055 [pdf, other]

Title: Schematic Refutations of Formula Schemata

David Cerna, Alexander Leitsch, Anela Lolic

Comments: 52 pages

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:1902.08345 [pdf, other]

Title: On Nominal Syntax and Permutation Fixed Points

Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 1 (February 17, 2020) lmcs:5209

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:1902.08414 [pdf, other]

Title: Fast Computations on Ordered Nominal Sets

David Venhoek, Joshua Moerman, Jurriaan Rot

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:1902.08419 [pdf, other]

Title: Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics

Andrei-Sebastian Buruiană (Alexandru Ioan Cuza University and Bitdefender), Ştefan Ciobâcă (Alexandru Ioan Cuza University)

Comments: In Proceedings WPTE 2018, arXiv:1902.07818

Journal-ref: EPTCS 289, 2019, pp. 1-16

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