Logic in Computer Science
Authors and titles for cs.LO in Sep 2022
[ total of 108 entries: 1-50 | 51-100 | 101-108 ][ showing 50 entries per page: fewer | more | all ]
- [1] arXiv:2209.00634 [pdf, other]
-
Title: A (Co)Algebraic Framework for Ordered ProcessesAuthors: Todd SchmidSubjects: Logic in Computer Science (cs.LO)
- [2] arXiv:2209.01085 [pdf, ps, other]
-
Title: Notions of parametricity as monoidal models for type theoryAuthors: Hugo MoeneclaeyComments: 47 pagesSubjects: Logic in Computer Science (cs.LO)
- [3] arXiv:2209.01886 [pdf, ps, other]
-
Title: A Formal Theory of Choreographic ProgrammingSubjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
- [4] arXiv:2209.02345 [pdf, other]
-
Title: Measure Construction by Extension in Dependent Type Theory with Application to IntegrationComments: 33 pagesJournal-ref: Journal of Automated Reasoning, 67(3):28:1--28:27 2023Subjects: Logic in Computer Science (cs.LO)
- [5] arXiv:2209.02354 [pdf, other]
-
Title: A Generic Type System for Higher-Order $Ψ$-calculiComments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777Journal-ref: EPTCS 368, 2022, pp. 43-59Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
- [6] arXiv:2209.02356 [pdf, other]
-
Title: Encodability and Separation for a Reflective Higher-Order CalculusAuthors: Stian LybechComments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777Journal-ref: EPTCS 368, 2022, pp. 95-112Subjects: Logic in Computer Science (cs.LO)
- [7] arXiv:2209.02359 [pdf, other]
-
Title: Token Multiplicity in Reversing Petri Nets Under the Individual Token InterpretationComments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777Journal-ref: EPTCS 368, 2022, pp. 131-150Subjects: Logic in Computer Science (cs.LO)
- [8] arXiv:2209.02464 [pdf, other]
-
Title: Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive QueryingComments: Accepted to the 26th International Conference on Database Theory (ICDT) 2023Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB); Discrete Mathematics (cs.DM); Logic (math.LO)
- [9] arXiv:2209.02614 [pdf, other]
-
Title: Variable binding and substitution for (nameless) dummiesJournal-ref: Logical Methods in Computer Science (March 1, 2024) lmcs:10008Subjects: Logic in Computer Science (cs.LO)
- [10] arXiv:2209.02650 [pdf, other]
-
Title: Learning Interpretable Temporal Properties from Positive Examples OnlyAuthors: Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk TopcuComments: Full version of the paper that appeared in AAAI23Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
- [11] arXiv:2209.02767 [pdf, other]
-
Title: Separators in Continuous Petri NetsComments: Extension of the FoSSaCS'22 conference versionJournal-ref: Logical Methods in Computer Science (February 21, 2024) lmcs:10017Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
- [12] arXiv:2209.02973 [pdf, other]
-
Title: Foundations of probability-raising causality in Markov decision processesComments: arXiv admin note: substantial text overlap with arXiv:2201.08768Journal-ref: Logical Methods in Computer Science (January 19, 2024) lmcs:10015Subjects: Logic in Computer Science (cs.LO)
- [13] arXiv:2209.04553 [pdf, ps, other]
-
Title: Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic LogicSubjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
- [14] arXiv:2209.04837 [pdf, ps, other]
-
Title: The Complexity and Expressive Power of Second-Order Extended LogicSubjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
- [15] arXiv:2209.05136 [pdf, other]
-
Title: On using VeriFast, VerCors, Plural, and KeY to check object usageSubjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
- [16] arXiv:2209.05201 [pdf, other]
-
Title: Proof-Stitch: Proof Combination for Divide and Conquer SAT SolversComments: 6 pagesSubjects: Logic in Computer Science (cs.LO)
- [17] arXiv:2209.05231 [pdf, ps, other]
-
Title: Bisimulations Respecting Duration and Causality for the Non-interleaving Applied $π$-CalculusAuthors: Clément Aubert (Augusta University, USA), Ross Horne ( University of Luxembourg, Luxembourg ), Christian Johansen (NTNU, Norway)Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777Journal-ref: EPTCS 368, 2022, pp. 3-22Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
- [18] arXiv:2209.05232 [pdf, ps, other]
-
Title: From CCS to CSP: the m-among-n Synchronisation ApproachAuthors: Gerard Ekembe Ngondi (Trinity College Dublin), Vasileios Koutavas (Trinity College Dublin), Andrew Butterfield (Trinity College Dublin)Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777Journal-ref: EPTCS 368, 2022, pp. 60-74Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
- [19] arXiv:2209.05421 [pdf, other]
-
Title: A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based ConcurrencyComments: 27 pages + the appendicesSubjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
- [20] arXiv:2209.05815 [pdf, other]
-
Title: Ruleformer: Context-aware Differentiable Rule Mining over Knowledge GraphComments: COLING 2022Subjects: Logic in Computer Science (cs.LO)
- [21] arXiv:2209.05879 [pdf, ps, other]
-
Title: Bounded Model Checking for Unbounded Client Server SystemsComments: 23 pages, 8 Figures,Subjects: Logic in Computer Science (cs.LO)
- [22] arXiv:2209.06448 [pdf, ps, other]
-
Title: Inputs, Outputs, and Composition in the Logic of Information FlowsComments: This paper is the extended version of a paper presented at KR 2020Subjects: Logic in Computer Science (cs.LO)
- [23] arXiv:2209.06819 [pdf, ps, other]
-
Title: On the Expressiveness of Mixed Choice SessionsComments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777. arXiv admin note: substantial text overlap with arXiv:2208.07041Journal-ref: EPTCS 368, 2022, pp. 113-130Subjects: Logic in Computer Science (cs.LO)
- [24] arXiv:2209.06820 [pdf, ps, other]
-
Title: Asynchronous Functional Sessions: Cyclic and ConcurrentComments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777. arXiv admin note: substantial text overlap with arXiv:2208.07644Journal-ref: EPTCS 368, 2022, pp. 75-94Subjects: Logic in Computer Science (cs.LO)
- [25] arXiv:2209.07497 [pdf, ps, other]
-
Title: Power Set Axiom, Internal Classes, External SetsAuthors: Leonid A. LevinComments: 5 pagesSubjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Information Theory (cs.IT)
- [26] arXiv:2209.07825 [pdf, other]
-
Title: A System of Interaction and Structure III: The Complexity of BV and Pomset LogicJournal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (December 18, 2023) lmcs:10057Subjects: Logic in Computer Science (cs.LO)
- [27] arXiv:2209.08838 [pdf, ps, other]
-
Title: A first-order completeness result about characteristic Boolean algebras in classical realizabilityAuthors: Guillaume Geoffroy (UPCité, IRIF)Journal-ref: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. pp.1-8Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
- [28] arXiv:2209.09208 [pdf, ps, other]
-
Title: Proceedings of the Sixth Working Formal Methods SymposiumAuthors: Vlad RusuJournal-ref: EPTCS 369, 2022Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
- [29] arXiv:2209.09472 [pdf, other]
-
Title: Correctness of Broadcast via Multicast: Graphically and FormallyComments: In Proceedings FROM 2022, arXiv:2209.09208. arXiv admin note: substantial text overlap with arXiv:2208.11241Journal-ref: EPTCS 369, 2022, pp. 37-50Subjects: Logic in Computer Science (cs.LO)
- [30] arXiv:2209.09703 [pdf, other]
-
Title: Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programmingComments: To be published in Inf. Comput. arXiv admin note: substantial text overlap with arXiv:2105.14311Subjects: Logic in Computer Science (cs.LO); Dynamical Systems (math.DS)
- [31] arXiv:2209.10309 [pdf, ps, other]
-
Title: On the Existential Fragments of Local First-Order Logics with DataAuthors: Benedikt Bollig (CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay, France), Arnaud Sangnier (IRIF, Université Paris Cité, CNRS, France), Olivier Stietel (CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay, IRIF, Université Paris Cité, France)Comments: In Proceedings GandALF 2022, arXiv:2209.09333Journal-ref: EPTCS 370, 2022, pp. 1-16Subjects: Logic in Computer Science (cs.LO)
- [32] arXiv:2209.10311 [pdf, other]
-
Title: Capturing Bisimulation-Invariant Exponential-Time Complexity ClassesAuthors: Florian Bruse (University of Kassel, Kassel, Germany), David Kronenberger (University of Kassel, Kassel, Germany), Martin Lange (University of Kassel, Kassel, Germany)Comments: In Proceedings GandALF 2022, arXiv:2209.09333Journal-ref: EPTCS 370, 2022, pp. 17-33Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
- [33] arXiv:2209.10316 [pdf, ps, other]
-
Title: Parametric Interval Temporal Logic over Infinite WordsAuthors: Laura Bozzelli (Università di Napoli "Federico II"), Adriano Peron (Università di Napoli "Federico II")Comments: In Proceedings GandALF 2022, arXiv:2209.09333Journal-ref: EPTCS 370, 2022, pp. 97-113Subjects: Logic in Computer Science (cs.LO)
- [34] arXiv:2209.10321 [pdf, other]
-
Title: CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic AlgorithmsAuthors: Dalton Chichester (University of Mary Washington), Wei Du (University at Albany-SUNY), Raymond Kauffman (University of Mary Washington), Hai Lin (Clarkson University), Christopher Lynch (Clarkson University), Andrew M. Marshall (University of Mary Washington), Catherine A. Meadows (Naval Research Laboratory), Paliath Narendran (University at Albany-SUNY), Veena Ravishankar (University of Mary Washington), Luis Rovira (University of Mary Washington), Brandon Rozek (Rensselaer Polytechnic Institute)Comments: In Proceedings GandALF 2022, arXiv:2209.09333Journal-ref: EPTCS 370, 2022, pp. 147-161Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Symbolic Computation (cs.SC)
- [35] arXiv:2209.10377 [pdf, other]
-
Title: Complexity through Translations for Modal Logic with RecursionAuthors: Luca Aceto (School of Computer Science, Reykjavik University, Gran Sasso Science Institute, L'Aquila, Italy), Antonis Achilleos (School of Computer Science, Reykjavik University), Elli Anastasiadi (School of Computer Science, Reykjavik University), Adrian Francalanza (Dept. of Computer Science, ICT, University of Malta), Anna Ingolfsdottir (School of Computer Science, Reykjavik University)Comments: In Proceedings GandALF 2022, arXiv:2209.09333Journal-ref: EPTCS 370, 2022, pp. 34-48Subjects: Logic in Computer Science (cs.LO)
- [36] arXiv:2209.10517 [pdf, other]
-
Title: Model-Checking PCTL properties of Stateless Probabilistic Pushdown Systems with Various ExtensionsAuthors: Tianrong LinComments: [v7] some typos fixed; try to make this paper as long as possible; comments are welcome; not finished; the arXiv:1405.4806 incorporatedSubjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Quantum Physics (quant-ph)
- [37] arXiv:2209.10610 [pdf, ps, other]
-
Title: Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with TestsJournal-ref: I. Sedl\'ar and J.J.~Wannenburg: Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. In: A. Ciabattoni, E. Pimentel, R. de Queiroz (Eds.): Proc. WoLLIC 2022, pp. 221-236. LNCS 13468. Springer, 2022Subjects: Logic in Computer Science (cs.LO)
- [38] arXiv:2209.10978 [pdf, other]
-
Title: A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOLComments: CPP 2023Subjects: Logic in Computer Science (cs.LO); Algebraic Geometry (math.AG)
- [39] arXiv:2209.12110 [pdf, ps, other]
-
Title: Answer-Set Programs for Repair Updates and Counterfactual InterventionsAuthors: Leopoldo BertossiComments: Submitted to Festschrift volumeSubjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB)
- [40] arXiv:2209.12168 [pdf, ps, other]
-
Title: A characterization of functions over the integers computable in polynomial time using discrete differential equationsComments: arXiv admin note: substantial text overlap with arXiv:1810.02241Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
- [41] arXiv:2209.12185 [pdf, other]
-
Title: Certifying Parity Reasoning Efficiently Using Pseudo-Boolean ProofsSubjects: Logic in Computer Science (cs.LO)
- [42] arXiv:2209.12188 [pdf, ps, other]
-
Title: Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)Authors: Clemens GrabmayerComments: Version article submitted to LICS 2022 (with some corrections performed already during the review process, a few afterwards, 14 pages, 2 pages of the appendix)Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
- [43] arXiv:2209.12592 [pdf, other]
-
Title: Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem ProvingAuthors: Christoph WernhardJournal-ref: Proc. of the Workshop on Practical Aspects of Automated Reasoning 2022 (PAAR 2022), CEUR-WS.org/Vol-3201/paper12.pdfSubjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
- [44] arXiv:2209.12777 [pdf, other]
-
Title: Truth and Preferences -- A Game Approach for Qualitative Choice LogicComments: 8 pages, 2 figures, M-pref 2022Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)
- [45] arXiv:2209.12825 [pdf, ps, other]
-
Title: Abductive forgettingAuthors: Paolo LiberatoreSubjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
- [46] arXiv:2209.13082 [pdf, ps, other]
-
Title: Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke SemanticsSubjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)
- [47] arXiv:2209.13181 [pdf, ps, other]
-
Title: Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Journal-ref: EPTCS 371, 2022Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Robotics (cs.RO)
- [48] arXiv:2209.13305 [pdf, other]
-
Title: Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal ProofsAuthors: Fabian HuchComments: Extended abstractSubjects: Logic in Computer Science (cs.LO)
- [49] arXiv:2209.13725 [pdf, ps, other]
-
Title: On the Descriptive Complexity of Groups without Abelian Normal SubgroupsComments: V1: This corrects some of the early claims made in Version 1 here (arXiv:2112.11487v1). arXiv admin note: text overlap with arXiv:2112.11487. V2: Fixed minor typos, updated references. This is the full version of our GandALF 2023 paper this https URLSubjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Group Theory (math.GR); Logic (math.LO)
- [50] arXiv:2209.13894 [pdf, other]
-
Title: The Isabelle Community BenchmarkJournal-ref: Proceedings of the Workshop on Practical Aspects of Automated Reasoning Vol-3201 (2022)Subjects: Logic in Computer Science (cs.LO)
[ showing 50 entries per page: fewer | more | all ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, cs, 2403, contact, help (Access key information)