logic-in-computer-science

Documents about logic-in-computer-science

• The calculus of neo-Peircean relations#128383arXiv (OAI)
• On Chaitin's Heuristic Principle and Halting Probability#131199arXiv (OAI)
• Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework#131301arXiv (OAI)
• Empirical Measures and Strong Laws of Large Numbers in Categorical Probability#139138arXiv (OAI)
• A meta-modal logic for bisimulations#139214arXiv (OAI)
• The Temporal Logic Synthesis Format TLSF v1.2#141616arXiv (OAI)
• Computation by infinite descent made explicit#141771arXiv (OAI)
• Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)#144170arXiv (OAI)
• Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments#183065arXiv (OAI Expanded)
• Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor#183085arXiv (OAI Expanded)
• Delooping presented groups in homotopy type theory#183099arXiv (OAI Expanded)
• First Order Logic on Pathwidth Revisited Again#189108arXiv (OAI Expanded)
• Topological Semantics for Scoped Computational Paths#608960arXiv (OAI Expanded)
• From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change#609008arXiv (OAI Expanded)
• From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving#609200arXiv (OAI Expanded)
• Topological Semantics for Scoped Computational Paths#610022arXiv (All)
• From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change#610070arXiv (All)
• LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts#610918arXiv (OAI Expanded)
• LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts#612395arXiv (All)
• Resource-Aware Quantum Programming with General Recursion and Quantum Control#668344arXiv (OAI Expanded)
• Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization#668346arXiv (OAI Expanded)
• When Types Intersect and Effects Get Handled#668562arXiv (OAI Expanded)
• Quantification in Double-Categorical Database Schemas#668648arXiv (OAI Expanded)
• Staying Productive Under the Palm Trees: On Graded Coeffect Typing in the Tropical Semiring#668652arXiv (OAI Expanded)
• Formalization of Harder-Narasimhan theory#674232arXiv (OAI Expanded)
• Towards Term-based Verification of Diagrammatic Equivalence#674299arXiv (OAI Expanded)
• Towards Term-based Verification of Diagrammatic Equivalence#677497arXiv (All)
• A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument#677722arXiv (All)
• Climate Physics Dynamic Matching#780764arXiv (All)

Related topics