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

Logic in Computer Science

Authors and titles for cs.LO in May 2021, skipping first 50

[ total of 135 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-135 ]
[ showing 25 entries per page: fewer | more | all ]
[51]  arXiv:2105.09533 [pdf, other]
Title: From Verification to Causality-based Explications
Comments: 20 pages, to appear in Proceedings of ICALP'21
Subjects: Logic in Computer Science (cs.LO)
[52]  arXiv:2105.09534 [pdf, other]
Title: Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers
Comments: Accepted for Publication in International Symposium on Formal Methods, FM 2021
Subjects: Logic in Computer Science (cs.LO)
[53]  arXiv:2105.09743 [pdf, ps, other]
Title: lazybvtoint at the SMT Competition 2020
Subjects: Logic in Computer Science (cs.LO)
[54]  arXiv:2105.09929 [pdf, other]
Title: Join Inverse Rig Categories for Reversible Functional Programming, and Beyond
Authors: Robin Kaarsgaard (University of Edinburgh), Mathys Rennela (INRIA Paris)
Comments: In Proceedings MFPS 2021, arXiv:2112.13746
Journal-ref: EPTCS 351, 2021, pp. 152-167
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[55]  arXiv:2105.10164 [pdf, ps, other]
Title: Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation
Comments: 14 pages + 9 page appendix, to appear in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
Subjects: Logic in Computer Science (cs.LO)
[56]  arXiv:2105.10740 [pdf, other]
Title: A First-Order Complete Temporal Logic for Structured Context-Free Languages
Authors: Michele Chiari (1), Dino Mandrioli (1), Matteo Pradella (1 and 2) ((1) DEIB, Politecnico di Milano, (2) IEIIT, Consiglio Nazionale delle Ricerche)
Comments: Partially supersedes arXiv:1910.09327
Subjects: Logic in Computer Science (cs.LO)
[57]  arXiv:2105.10908 [pdf, ps, other]
Title: PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics
Subjects: Logic in Computer Science (cs.LO)
[58]  arXiv:2105.10914 [pdf, other]
Title: Quantum and classical registers
Authors: Dominique Unruh
Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[59]  arXiv:2105.10930 [pdf, other]
Title: Uniform interpolation via nested sequents and hypersequents
Subjects: Logic in Computer Science (cs.LO)
[60]  arXiv:2105.10946 [pdf, other]
Title: Diagrammatic Polyhedral Algebra
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[61]  arXiv:2105.11400 [pdf, other]
Title: A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
Comments: arXiv admin note: substantial text overlap with arXiv:1904.08847
Subjects: Logic in Computer Science (cs.LO)
[62]  arXiv:2105.11811 [pdf, ps, other]
Title: Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
Subjects: Logic in Computer Science (cs.LO)
[63]  arXiv:2105.12322 [pdf, other]
Title: Runtime Monitoring for Markov Decision Processes
Comments: Technical report with appendix. Accepted at CAV
Subjects: Logic in Computer Science (cs.LO); Robotics (cs.RO)
[64]  arXiv:2105.12326 [pdf, other]
Title: Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
Comments: Technical Report. Accepted at CAV 2021
Subjects: Logic in Computer Science (cs.LO)
[65]  arXiv:2105.12588 [pdf, other]
Title: TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
Subjects: Logic in Computer Science (cs.LO)
[66]  arXiv:2105.12678 [pdf]
Title: A Flexible FPGA-Based ISA Configurable SoC platform
Subjects: Logic in Computer Science (cs.LO)
[67]  arXiv:2105.12986 [pdf, ps, other]
Title: Algebras of Sets and Coherent Sets of Gambles
Comments: Submitted to ECSQARU 2021. arXiv admin note: text overlap with arXiv:2105.12037
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[68]  arXiv:2105.13217 [pdf, other]
Title: Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
Comments: Long version of the eponymous CAV 2021 paper
Subjects: Logic in Computer Science (cs.LO); Numerical Analysis (math.NA)
[69]  arXiv:2105.13583 [pdf, other]
Title: A Modular First Formalisation of Combinatorial Design Theory
Comments: This paper has been accepted to CICM 2021. The full formalisation will be made available on the Isabelle AFP prior to the conference, and is alternatively available here: this https URL
Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)
[70]  arXiv:2105.14100 [pdf, ps, other]
Title: Latticed $k$-Induction with an Application to Probabilistic Programs
Comments: to be published in: CAV (2021)
Subjects: Logic in Computer Science (cs.LO)
[71]  arXiv:2105.14183 [pdf, other]
Title: Verified Quadratic Virtual Substitution for Real Arithmetic
Comments: FM 2021
Subjects: Logic in Computer Science (cs.LO)
[72]  arXiv:2105.14247 [pdf, ps, other]
Title: Causality-Based Game Solving
Comments: 33rd International Conference on Computer-Aided Verification (CAV 2021)
Subjects: Logic in Computer Science (cs.LO)
[73]  arXiv:2105.14261 [pdf, other]
Title: Computing with Infinite Objects: the Gray Code Case
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[74]  arXiv:2105.14311 [pdf, other]
Title: Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
Comments: To be published in Proc. of CAV 2021
Subjects: Logic in Computer Science (cs.LO)
[75]  arXiv:2105.14452 [pdf, ps, other]
Title: A logic for binary classifiers and their explanation
Comments: 26 pages
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)
[ total of 135 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-135 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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