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

Logic in Computer Science

Authors and titles for cs.LO in Sep 2022

[ total of 107 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2209.00634 [pdf, other]
Title: A (Co)Algebraic Framework for Ordered Processes
Authors: Todd Schmid
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2209.01085 [pdf, ps, other]
Title: Notions of parametricity as monoidal models for type theory
Authors: Hugo Moeneclaey
Comments: 47 pages
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2209.01886 [pdf, ps, other]
Title: A Formal Theory of Choreographic Programming
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[4]  arXiv:2209.02345 [pdf, other]
Title: Measure Construction by Extension in Dependent Type Theory with Application to Integration
Comments: 30 pages
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2209.02354 [pdf, other]
Title: A Generic Type System for Higher-Order $Ψ$-calculi
Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777
Journal-ref: EPTCS 368, 2022, pp. 43-59
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[6]  arXiv:2209.02356 [pdf, other]
Title: Encodability and Separation for a Reflective Higher-Order Calculus
Authors: Stian Lybech
Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777
Journal-ref: EPTCS 368, 2022, pp. 95-112
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2209.02359 [pdf, other]
Title: Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation
Authors: Anna Philippou (University of Cyprus), Kyriaki Psara (University of Cyprus)
Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777
Journal-ref: EPTCS 368, 2022, pp. 131-150
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2209.02464 [pdf, other]
Title: Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
Comments: Accepted to the 26th International Conference on Database Theory (ICDT) 2023
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB); Discrete Mathematics (cs.DM); Logic (math.LO)
[9]  arXiv:2209.02614 [pdf, ps, other]
Title: Variable binding and substitution for (nameless) dummies
Comments: Extended abstract (FoSSaCS 2022)
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2209.02650 [pdf, other]
Title: Learning Interpretable Temporal Properties from Positive Examples Only
Comments: submitted to AAAI23
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[11]  arXiv:2209.02767 [pdf, ps, other]
Title: Separators in Continuous Petri Nets
Comments: Submitted to LMCS as an extension of the FoSSaCS'22 conference version
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[12]  arXiv:2209.02973 [pdf, ps, other]
Title: Foundations of probability-raising causality in Markov decision processes
Comments: Submission for Logical Methods in Computer Science (special issue FoSSaCS 2022). arXiv admin note: substantial text overlap with arXiv:2201.08768
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2209.04553 [pdf, ps, other]
Title: Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[14]  arXiv:2209.04837 [pdf, ps, other]
Title: The Complexity and Expressive Power of Second-Order Extended Logic
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[15]  arXiv:2209.05136 [pdf, other]
Title: On using VeriFast, VerCors, Plural, and KeY to check object usage
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[16]  arXiv:2209.05201 [pdf, other]
Title: Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers
Comments: 6 pages
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:2209.05231 [pdf, ps, other]
Title: Bisimulations Respecting Duration and Causality for the Non-interleaving Applied $π$-Calculus
Authors: Clément Aubert (Augusta University, USA), Ross Horne ( University of Luxembourg, Luxembourg ), Christian Johansen (NTNU, Norway)
Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777
Journal-ref: EPTCS 368, 2022, pp. 3-22
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[18]  arXiv:2209.05232 [pdf, ps, other]
Title: From CCS to CSP: the m-among-n Synchronisation Approach
Authors: Gerard Ekembe Ngondi (Trinity College Dublin), Vasileios Koutavas (Trinity College Dublin), Andrew Butterfield (Trinity College Dublin)
Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777
Journal-ref: EPTCS 368, 2022, pp. 60-74
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[19]  arXiv:2209.05421 [pdf, other]
Title: A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Comments: 27 pages + the appendices
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[20]  arXiv:2209.05815 [pdf, other]
Title: Ruleformer: Context-aware Differentiable Rule Mining over Knowledge Graph
Comments: COLING 2022
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2209.05879 [pdf, ps, other]
Title: Bounded Model Checking for Unbounded Client Server Systems
Comments: 23 pages, 8 Figures,
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:2209.06448 [pdf, ps, other]
Title: Inputs, Outputs, and Composition in the Logic of Information Flows
Comments: This paper is the extended version of a paper presented at KR 2020
Subjects: Logic in Computer Science (cs.LO)
[23]  arXiv:2209.06819 [pdf, ps, other]
Title: On the Expressiveness of Mixed Choice Sessions
Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777. arXiv admin note: substantial text overlap with arXiv:2208.07041
Journal-ref: EPTCS 368, 2022, pp. 113-130
Subjects: Logic in Computer Science (cs.LO)
[24]  arXiv:2209.06820 [pdf, ps, other]
Title: Asynchronous Functional Sessions: Cyclic and Concurrent
Authors: Bas van den Heuvel (University of Groningen), Jorge A. Pérez (University of Groningen)
Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777. arXiv admin note: substantial text overlap with arXiv:2208.07644
Journal-ref: EPTCS 368, 2022, pp. 75-94
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:2209.07497 [pdf, ps, other]
Title: On Power Set Axiom
Authors: Leonid A. Levin
Comments: 4 pages
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Information Theory (cs.IT)
[ 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, 2302, contact, help  (Access key information)