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

Logic in Computer Science

Authors and titles for cs.LO in Oct 2021

[ total of 98 entries: 1-25 | 26-50 | 51-75 | 76-98 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2110.00146 [pdf, ps, other]
Title: Deadlock Freedom for Asynchronous and Cyclic Process Networks
Authors: Bas van den Heuvel (University of Groningen), Jorge A. Pérez (University of Groningen)
Comments: In Proceedings ICE 2021, arXiv:2109.14908. arXiv admin note: text overlap with arXiv:2101.09038
Journal-ref: EPTCS 347, 2021, pp. 38-56
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2110.00147 [pdf, other]
Title: Decomposing Monolithic Processes in a Process Algebra with Multi-actions
Comments: In Proceedings ICE 2021, arXiv:2109.14908. This is a peer reviewed version of arXiv:2012.06468 [cs.LO]. This revision contains more examples but omits proofs
Journal-ref: EPTCS 347, 2021, pp. 57-76
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2110.00562 [pdf, other]
Title: Computational Complexity of Deciding Provability in Linear Logic and its Fragments
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[4]  arXiv:2110.01114 [pdf, ps, other]
Title: Cyclic Implicit Complexity
Comments: 53 pages, 3 figures
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[5]  arXiv:2110.01320 [pdf, ps, other]
Title: Formal Verification of Quantum Programs: Theory, Tools and Challenges
Comments: 29 pages
Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[6]  arXiv:2110.02678 [pdf, ps, other]
Title: One-Dimensional Fragment over Words and Trees
Comments: Full version of [1] Emanuel Kieronski: One-Dimensional Logic over Words. CSL 2016: 38:1-38:15 [2] Emanuel Kieronski, Antti Kuusisto: One-Dimensional Logic over Trees. MFCS 2017: 64:1-64:13
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2110.02691 [pdf, other]
Title: Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
Comments: accepted for publication in FSTTCS 2021
Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[8]  arXiv:2110.02783 [pdf, other]
Title: Active Learning for Sound Negotiations
Comments: To appear in LICS'22
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:2110.03246 [pdf, ps, other]
Title: Unprovability results for clause set cycles
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2110.03315 [pdf, ps, other]
Title: On Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2110.03551 [pdf, other]
Title: Formalizing Geometric Algebra in Lean
Comments: 26 pages. This is the version accepted for publication on 2021-07-22, after peer review, in "Advances in Applied Clifford Algebras". This is not the Version of Record and does not reflect post-acceptance improvements, or corrections by the journal. Note that the web version of this article provided by the journal has typesetting issues not present here or in the journal's PDF
Journal-ref: Advances in Applied Clifford Algebras 32, Article 28 (2022)
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2110.03821 [pdf, ps, other]
Title: Uniform Guarded Fragments
Authors: Reijo Jaakkola
Comments: Fixed a bug in the proof of lemma 8, simplified the proof of lemma 9 and minor changes to presentation
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[13]  arXiv:2110.03964 [pdf, other]
Title: A Subexponential View of Domains in Session Types
Authors: Daniele Nantes (MAT-UnB), Carlos Olarte (ECT-UFRN/LIPN), Daniel Ventura (INF-UFG)
Comments: In Proceedings LSFA 2021, arXiv:2204.03415
Journal-ref: EPTCS 357, 2022, pp. 93-111
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2110.04454 [pdf, ps, other]
Title: Dynamic Logic of Legal Competences
Journal-ref: Journal of Logic, Language and Information (2021)
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[15]  arXiv:2110.05063 [pdf, ps, other]
Title: Efficient Extensional Binary Tries
Authors: Andrew Appel, Xavier Leroy (CAMBIUM)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[16]  arXiv:2110.05388 [pdf, ps, other]
Title: Logical Foundations of Quantitative Equality (long version)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[17]  arXiv:2110.05412 [pdf, ps, other]
Title: Free Commutative Monoids in Homotopy Type Theory
Comments: Under submission
Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO); Category Theory (math.CT); Logic (math.LO)
[18]  arXiv:2110.05630 [pdf, other]
Title: Notes on kAExp(pol) problems for deterministic machines
Authors: Alessio Mansutti
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[19]  arXiv:2110.05992 [pdf, ps, other]
Title: Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula
Comments: To Appear in The Proceedings of AAAI 2022. arXiv admin note: text overlap with arXiv:2009.12237
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Combinatorics (math.CO); Logic (math.LO)
[20]  arXiv:2110.07689 [pdf, ps, other]
Title: First-Order Modal $ξ$-Calculus: Application and Bisimulation
Authors: Xinyu Wang
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[21]  arXiv:2110.08196 [pdf, ps, other]
Title: The Pebble-Relation Comonad in Finite Model Theory
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[22]  arXiv:2110.08453 [pdf, ps, other]
Title: Voting Theory in the Lean Theorem Prover
Comments: Postprint of the paper in Proceedings of the Eighth International Conference on Logic, Rationality and Interaction (Springer) with two typos fixed
Subjects: Logic in Computer Science (cs.LO)
[23]  arXiv:2110.08537 [pdf, ps, other]
Title: Verification of MPI programs
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[24]  arXiv:2110.08561 [pdf, ps, other]
Title: Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic
Authors: Zhiguang Zhao
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:2110.08785 [pdf, other]
Title: Correct Probabilistic Model Checking with Floating-Point Arithmetic
Authors: Arnd Hartmanns
Subjects: Logic in Computer Science (cs.LO)
[ total of 98 entries: 1-25 | 26-50 | 51-75 | 76-98 ]
[ 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)