Logic in Computer Science

Authors and titles for cs.LO in Sep 2022

[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

Authors: Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

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

Authors: Reynald Affeldt, Cyril Cohen

Comments: 33 pages

Journal-ref: Journal of Automated Reasoning, 67(3):28:1--28:27 2023

Subjects: Logic in Computer Science (cs.LO)

[5]  arXiv:2209.02354 [pdf, other]

Title: A Generic Type System for Higher-Order $Ψ$-calculi

Authors: Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lybech

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

Authors: Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph

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, other]

Title: Variable binding and substitution for (nameless) dummies

Authors: André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi

Journal-ref: Logical Methods in Computer Science (March 1, 2024) lmcs:10008

Subjects: Logic in Computer Science (cs.LO)

[10]  arXiv:2209.02650 [pdf, other]

Title: Learning Interpretable Temporal Properties from Positive Examples Only

Authors: Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

Comments: Full version of the paper that appeared in AAAI23

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