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

Logic in Computer Science

Authors and titles for cs.LO in Jul 2022

[ total of 112 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-112 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2207.00119 [pdf, other]
Title: Reasoning in Non-normal Modal Description Logics
Comments: ARQNL 2022
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2207.00317 [pdf]
Title: A Note on Process Modelling: Combining Situation Calculus and Petri Nets
Comments: Monografias em Ci\^encia da Computa\c{c}\~ao, June, 2022, Dep. Inform\'atica PUC-Rio, RJ, BRAZIL, ISSN 0103-9741
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2207.00517 [pdf, ps, other]
Title: A Survey on Satisfiability Checking for the $μ$-Calculus through Tree Automata
Comments: 28 pages
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:2207.00851 [pdf, other]
Title: What Makes a Strong Monad?
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 113-133
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[5]  arXiv:2207.00921 [pdf, other]
Title: Auto-active Verification of Floating-point Programs via Nonlinear Real Provers
Comments: 26 pages, 2 figures, 24 listings, 6 tables, to be submitted to SEFM2022 (see this https URL )
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[6]  arXiv:2207.01048 [pdf, ps, other]
Title: A Formal Framework for Distributed Cyber-Physical Systems
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2207.01288 [pdf, ps, other]
Title: Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder
Authors: Zhiguang Zhao
Comments: arXiv admin note: text overlap with arXiv:2102.13291
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[8]  arXiv:2207.01338 [pdf, ps, other]
Title: Formal Verification of Safety Properties Using Interpolation and k-induction
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:2207.02045 [pdf, ps, other]
Title: A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2207.02601 [pdf]
Title: Partial Residuated Implications Derived from Partial Triangular Norms and Partial Residuated Lattices
Comments: 29 pages
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2207.02637 [pdf, ps, other]
Title: On the Complexity of Rational Verification
Comments: Preprint submitted to Annals of Mathematics and Artificial Intelligence
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[12]  arXiv:2207.02697 [pdf, ps, other]
Title: Semilinear Home-space is Decidable for Petri Nets
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2207.02728 [pdf, other]
Title: Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
Comments: Accepted to ITP 2022, to be published in conference proceedings
Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[14]  arXiv:2207.02822 [pdf, other]
Title: Towards Concurrent Quantitative Separation Logic
Comments: Extended version of CONCUR'22 paper
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[15]  arXiv:2207.02956 [pdf, other]
Title: Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
Subjects: Logic in Computer Science (cs.LO)
[16]  arXiv:2207.03209 [pdf, other]
Title: Application of Validation Obligations to Security Concerns
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:2207.03360 [pdf, ps, other]
Title: On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version)
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[18]  arXiv:2207.03749 [pdf, other]
Title: An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear $π$-Calculus
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[19]  arXiv:2207.03929 [pdf, ps, other]
Title: String Diagrams for Layered Explanations
Comments: 21 pages, 8 figures. Accepted for publication in the proceedings of ACT 2022
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[20]  arXiv:2207.04362 [pdf, ps, other]
Title: Abstract Processes in the Absence of Conflicts in General Place/Transition Systems
Comments: The above result appeared already in our technical report arXiv:2103.00729, although formulated and proven differently, since there we didn't have the preorder $\sqsubseteq_1^\infty$, introduced in arXiv:2103.01490. Our revised proofs are conceptually simpler, as they avoid the auxiliary concepts of BD-runs and FS-runs
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2207.04647 [pdf, ps, other]
Title: Epi-constructivism: Decidable sets of computable numbers as foundational objects for mathematics
Authors: Zvi Schreiber
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[22]  arXiv:2207.04986 [pdf, other]
Title: Order-Invariance in the Two-Variable Fragment of First-Order Logic
Authors: Julien Grange
Subjects: Logic in Computer Science (cs.LO)
[23]  arXiv:2207.05207 [pdf, other]
Title: Counterexample Generation for Infinite-State Chemical Reaction Networks
Authors: Mohammad Ahmadi (1), Zhen Zhang (2), Chris Myers (3), Chris Winstead (2), Hao Zheng (1) ((1) University of South Florida,(2) Utah State University,(3) University of Colorado Boulder)
Subjects: Logic in Computer Science (cs.LO)
[24]  arXiv:2207.05407 [pdf, other]
Title: Hennessy-Milner Theorems via Galois Connections
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:2207.05610 [pdf, ps, other]
Title: Abstraction Logic: A New Foundation for (Computer) Mathematics
Authors: Steven Obua
Subjects: Logic in Computer Science (cs.LO)
[ total of 112 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-112 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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