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)