Logic in Computer Science

Authors and titles for cs.LO in Sep 2022, skipping first 10

[11]  arXiv:2209.02767 [pdf, other]

Title: Separators in Continuous Petri Nets

Authors: Michael Blondin, Javier Esparza

Comments: Extension of the FoSSaCS'22 conference version

Journal-ref: Logical Methods in Computer Science (February 21, 2024) lmcs:10017

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

[12]  arXiv:2209.02973 [pdf, other]

Title: Foundations of probability-raising causality in Markov decision processes

Authors: Christel Baier, Jakob Piribauer, Robin Ziemek

Comments: arXiv admin note: substantial text overlap with arXiv:2201.08768

Journal-ref: Logical Methods in Computer Science (January 19, 2024) lmcs:10015

Subjects: Logic in Computer Science (cs.LO)

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

Title: Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

Authors: Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo

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

Authors: Shiguang Feng, Xishun Zhao

Journal-ref: Studies in Logic 5 (2012) 11-34

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

Authors: João Mota, Marco Giunti, António Ravara

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

Authors: Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark Barrett

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

Authors: Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez

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

Authors: Zezhong Xu, Peng Ye, Hui Chen, Meng Zhao, Huajun Chen, Wen Zhang

Comments: COLING 2022

Subjects: Logic in Computer Science (cs.LO)