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-50 | 51-100 | 101-112 ]
[ showing 50 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)
[26]  arXiv:2207.05678 [pdf, other]
Title: Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions
Subjects: Logic in Computer Science (cs.LO)
[27]  arXiv:2207.06681 [pdf, other]
Title: Multi: a Formal Playground for Multi-Smart Contract Interaction
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[28]  arXiv:2207.06708 [pdf, other]
Title: Realizability Problem for Constraint LTL
Comments: 26 pages
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[29]  arXiv:2207.06801 [pdf, other]
Title: Parameter Synthesis in Markov Models: A Gentle Survey
Subjects: Logic in Computer Science (cs.LO)
[30]  arXiv:2207.07143 [pdf, ps, other]
Title: Node Replication: Theory And Practice
Comments: 64 pages, submitted to LMCS
Subjects: Logic in Computer Science (cs.LO)
[31]  arXiv:2207.07416 [pdf, ps, other]
Title: Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
Comments: 9 pages
Subjects: Logic in Computer Science (cs.LO)
[32]  arXiv:2207.07479 [pdf, ps, other]
Title: Zone-based verification of timed automata: extrapolations, simulations and what next?
Comments: Invited contribution at FORMATS'22
Subjects: Logic in Computer Science (cs.LO)
[33]  arXiv:2207.07499 [pdf, ps, other]
Title: Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL
Subjects: Logic in Computer Science (cs.LO)
[34]  arXiv:2207.07614 [pdf, other]
Title: Fixed Points and Noetherian Topologies
Authors: Aliaume Lopez
Comments: 18 pages, 2 figures
Subjects: Logic in Computer Science (cs.LO)
[35]  arXiv:2207.07683 [pdf, ps, other]
Title: First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs
Comments: 28 pages, 5 figures
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[36]  arXiv:2207.08420 [pdf, ps, other]
Title: Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic
Authors: David Monniaux (VERIMAG - IMAG), Alice Pain (VERIMAG - IMAG, ENS-PSL)
Subjects: Logic in Computer Science (cs.LO)
[37]  arXiv:2207.08453 [pdf, other]
Title: CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description)
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[38]  arXiv:2207.08465 [pdf, ps, other]
Title: Multiplicative linear logic from a resolution-based tile system
Authors: Boris Eng (LIPN), Thomas Seiller (CNRS, LIPN)
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[39]  arXiv:2207.08572 [pdf, other]
Title: Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions
Authors: Ján Komara
Comments: 30 pages; reprint of the technical report TR mff-ii-10-1992, September 1992
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[40]  arXiv:2207.08697 [pdf, ps, other]
Title: The Theory of Call-by-Value Solvability (long version)
Comments: Long version of a paper accepted at ICFP 2022. arXiv admin note: text overlap with arXiv:2202.03079
Subjects: Logic in Computer Science (cs.LO)
[41]  arXiv:2207.08775 [pdf, other]
Title: Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach
Authors: Luan V. Nguyen (University of Dayton), Wesam Haddad (University of Dayton), Taylor T. Johnson (Vanderbilt University)
Comments: In Proceedings SNR 2021, arXiv:2207.04391
Journal-ref: EPTCS 361, 2022, pp. 9-23
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC)
[42]  arXiv:2207.08777 [pdf, ps, other]
Title: Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus
Authors: Marcelo Fiore
Comments: This is a slight revision, with an implementation, of the full version, with proofs, of February 2003 for the extended abstract with the same title published in the Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) in October 2002
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[43]  arXiv:2207.08918 [pdf, ps, other]
Title: One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
Comments: 6 pages, submitted to Journal (a revised version of the previous submission with more precise proofs)
Subjects: Logic in Computer Science (cs.LO)
[44]  arXiv:2207.09142 [pdf, other]
Title: Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming
Authors: Ján Komara
Comments: 26 pages; reprint of the technical report TR mff-ii-11-1992, September 1992. arXiv admin note: substantial text overlap with arXiv:2207.08572
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[45]  arXiv:2207.09187 [pdf, other]
Title: Quantitative Hennessy-Milner Theorems via Notions of Density
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[46]  arXiv:2207.09190 [pdf, ps, other]
Title: Central Submonads and Notions of Computation
Comments: 25 pages + 8 pages references and appendix
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[47]  arXiv:2207.09226 [pdf, ps, other]
Title: Capturing the polynomial hierarchy by second-order revised Krom logic
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[48]  arXiv:2207.09486 [pdf, ps, other]
Title: Formalising the Krull Topology in Lean
Authors: Sebastian Monnet
Comments: Minor corrections
Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)
[49]  arXiv:2207.09509 [pdf, other]
Title: TestSelector: Automatic Test Suite Selection for Student Projects -- Extended Version
Comments: 19 pages
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[50]  arXiv:2207.09707 [pdf, other]
Title: Careful Autonomous Agents in Environments With Multiple Common Resources
Authors: Rodica Condurache (Alexandru Ioan Cuza University), Catalin Dima (Paris-East Créteil University, LACL), Madalina Jitaru (Paris-East Créteil University, LACL), Youssouf Oualhadj (Free University of Bozen-Bolzano, Paris-East Créteil University), Nicolas Troquard (Free University of Bozen-Bolzano)
Comments: In Proceedings AREA 2022, arXiv:2207.09058
Journal-ref: EPTCS 362, 2022, pp. 3-14
Subjects: Logic in Computer Science (cs.LO)
[ total of 112 entries: 1-50 | 51-100 | 101-112 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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