We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for cs.LO in Feb 2020

[ total of 107 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2002.00188 [pdf, ps, other]
Title: Intuitionistic Fixed Point Logic
Comments: 65 pages
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
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
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
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
Comments: Substantial revision of v2
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:2002.01287 [pdf, ps, other]
Title: Intersection Type Distributors
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
Comments: 34 pages, 17 figures
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2002.02228 [pdf, other]
Title: Querying Guarded Fragments via Resolution
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:2002.02321 [pdf, ps, other]
Title: Convolution and Concurrency
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2002.02512 [pdf, other]
Title: Relating Apartness and Bisimulation
Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 3 (July 30, 2021) lmcs:8316
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[11]  arXiv:2002.02536 [pdf, other]
Title: Constructive Hybrid Games
Comments: 60 pages, preprint, under review
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2002.02576 [pdf, other]
Title: Refining Constructive Hybrid Games
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
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
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
Comments: 28 pages
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2002.04011 [pdf, ps, other]
Title: The Bang Calculus Revisited
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
Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 2 (May 26, 2021) lmcs:7512
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[20]  arXiv:2002.04460 [pdf, other]
Title: Modular Path Queries with Arithmetic
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:8503
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
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:2002.05075 [pdf, ps, other]
Title: NP Reasoning in the Monotone $μ$-Calculus
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
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)
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
Comments: Submitted for publication. Will be revised after referees report
Subjects: Logic in Computer Science (cs.LO)
[ total of 107 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2205, contact, help  (Access key information)