Logic in Computer Science

Authors and titles for cs.LO in Feb 2020

[1]  arXiv:2002.00188 [pdf, other]

Title: Intuitionistic Fixed Point Logic

Authors: Ulrich Berger, Hideki Tsuiki

Comments: 65 pages. This is a new Version where some minor details in the Soundness Theorem were corrected and some added

Journal-ref: Annals of Pure and Applied Logic, Volume 172, Issue 3, March 2021, 102903

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:2002.00666 [pdf, other]

Title: Agent-Based Proof Design via Lemma Flow Diagram

Authors: Keehang Kwon, Daeseong Kang

Comments: three figures

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

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

Title: Introduction of Quantification in Frame Semantics

Authors: Valentin D. Richard

Comments: Master report

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[4]  arXiv:2002.01091 [pdf, ps, other]

Title: Cartesian Difference Categories: Extended Report

Authors: Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay

Comments: This version corrects the Cartesian difference structure of the Kleisli category, compared to the one found in the conference paper version. The proposed difference combinator in the conference was based on a result from another paper. Unfortunately, we have found that the result in said other paper is incorrect, and therefore so was the proposed difference combinator in the conference paper

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

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

Title: A Decision Procedure for Guarded Separation Logic: Complete Entailment Checking for Separation Logic with Inductive Definitions

Authors: Jens Pagel, Christoph Matheja, Florian Zuleger

Comments: Substantial revision of v2

Subjects: Logic in Computer Science (cs.LO)

[6]  arXiv:2002.01287 [pdf, ps, other]

Title: Intersection Type Distributors

Authors: Federico Olimpieri

Comments: Accepted paper at LICS 2021

Subjects: Logic in Computer Science (cs.LO)

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

Title: Completing Simple Valuations in K-categories

Authors: Xiaodong Jia, Michael Mislove

Comments: 34 pages, 17 figures

Subjects: Logic in Computer Science (cs.LO)

[8]  arXiv:2002.02228 [pdf, other]

Title: Querying Guarded Fragments via Resolution

Authors: Sen Zheng, Renate A. Schmidt

Subjects: Logic in Computer Science (cs.LO)

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

Title: Convolution and Concurrency

Authors: James Cranch, Simon Doherty, Georg Struth

Subjects: Logic in Computer Science (cs.LO)

[10]  arXiv:2002.02512 [pdf, other]

Title: Relating Apartness and Bisimulation

Authors: Herman Geuvers, Bart Jacobs

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 3 (July 30, 2021) lmcs:6078

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

[11]  arXiv:2002.02536 [pdf, other]

Title: Constructive Hybrid Games

Authors: Rose Bohrer, André Platzer

Comments: 60 pages, preprint, under review

Subjects: Logic in Computer Science (cs.LO)

[12]  arXiv:2002.02576 [pdf, other]

Title: Refining Constructive Hybrid Games

Authors: Rose Bohrer, André Platzer

Comments: 40 pages. Extended preprint

Subjects: Logic in Computer Science (cs.LO)

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

Title: Intuitionistic Euler-Venn Diagrams (extended)

Authors: Sven Linker

Subjects: Logic in Computer Science (cs.LO)

[14]  arXiv:2002.03117 [pdf, other]

Title: SAT-Based ATL Satisfiability Checking

Authors: Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek

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

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

Title: Means-fit effectivity

Authors: Yuri Gurevich

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

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

Title: Relativization of Gurevich's Conjectures

Authors: Anatole Dahan, Anuj Dawar

Comments: accepted for publication in a volume of papers dedicated to Yuri Gurevich's 80th birthday

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

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

Title: Extensional proofs in a propositional logic modulo isomorphisms

Authors: Alejandro Díaz-Caro, Gilles Dowek

Comments: 29 pages

Journal-ref: Theoretical Computer Science 977:114172, 2023

Subjects: Logic in Computer Science (cs.LO)

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

Title: The Bang Calculus Revisited

Authors: Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso

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

[19]  arXiv:2002.04282 [pdf, other]

Title: Theories of real addition with and without a predicate for integers

Authors: Alexis Bès, Christian Choffrut

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 2 (May 26, 2021) lmcs:6094

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

[20]  arXiv:2002.04460 [pdf, other]

Title: Modular Path Queries with Arithmetic

Authors: Jakub Michaliszyn, Jan Otop, Piotr Wieczorek

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

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 3 (September 20, 2021) lmcs:6091

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

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

Title: On Termination of Transactions over Semantic Document Models

Authors: Andrei Mantsivoda, Denis Ponomaryov

Subjects: Logic in Computer Science (cs.LO)

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

Title: NP Reasoning in the Monotone $μ$-Calculus

Authors: Daniel Hausmann, Lutz Schröder

Comments: Longer version of IJCAR 2020 paper

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

[23]  arXiv:2002.05256 [pdf, other]

Title: Change actions: from incremental computation to discrete derivatives

Authors: Mario Alvarez-Picallo

Comments: PhD thesis, Oxford, Preliminary version, 224 pages, 24 figures

Subjects: Logic in Computer Science (cs.LO)

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

Title: The Abstract Machinery of Interaction (Long Version)

Authors: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Comments: Accepted at PPDP 2020

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

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

Title: Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

Authors: Marianna Girlando, Sara Negri, Nicola Olivetti

Comments: Submitted for publication. Will be revised after referees report

Subjects: Logic in Computer Science (cs.LO)