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

Logic in Computer Science

Authors and titles for cs.LO in May 2021

[ total of 137 entries: 1-137 ]
[ showing 137 entries per page: fewer | more ]
[1]  arXiv:2105.00024 [pdf, other]
Title: Types are Internal $\infty$-Groupoids
Authors: Antoine Allioux, Eric Finster, Matthieu Sozeau
Comments: Extended version of the LICS 2021 article
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[2]  arXiv:2105.00188 [pdf, ps, other]
Title: lr-Multisemigroups and Modal Convolution Algebras
Authors: Uli Fahrenberg, Christian Johnsen, Georg Struth, Krzysztof Ziemiański
Comments: 38 pages, 1 figure
Subjects: Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)
[3]  arXiv:2105.00564 [pdf, other]
Title: Encoding Tight Typing in a Unified Framework
Authors: Delia Kesner, Andrés Viso
Comments: arXiv admin note: text overlap with arXiv:2002.04011
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[4]  arXiv:2105.00669 [pdf, other]
Title: Explaining Behavioural Inequivalence Generically in Quasilinear Time
Authors: Thorsten Wißmann, Stefan Milius, Lutz Schröder
Comments: Full version with appendix containing all proofs
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2105.00735 [pdf, ps, other]
Title: In search of lost time: Axiomatising parallel composition in process algebras
Authors: Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik
Comments: arXiv admin note: text overlap with arXiv:2010.01943, arXiv:2102.11166
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:2105.00748 [pdf, ps, other]
Title: What's Decidable about (Atomic) Polymorphism
Authors: Paolo Pistone, Luca Tranchini
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[7]  arXiv:2105.00885 [pdf, ps, other]
Title: Generating Extended Resolution Proofs with a BDD-Based SAT Solver
Authors: Randal E. Bryant, Marijn J. H. Heule
Comments: Extended version of paper published at TACAS 2021
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2105.00969 [pdf, other]
Title: Abstract clones for abstract syntax
Authors: Nathanael Arkor, Dylan McDermott
Comments: To appear in the proceedings of FSCD 2021; 16 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[9]  arXiv:2105.01382 [pdf, other]
Title: A Subatomic Proof System for Decision Trees
Authors: Chris Barrett, Alessio Guglielmi
Comments: To appear on ACM Transactions on Computational Logic
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[10]  arXiv:2105.01861 [pdf, other]
Title: Higher-Order Model Checking Step by Step
Authors: Paweł Parys
Comments: This is an extended version of a paper published on the ICALP 2021 conference
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[11]  arXiv:2105.02013 [pdf, other]
Title: Flavours of Sequential Information Flow
Authors: Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2105.02309 [pdf, other]
Title: A Generalized Concurrent Rule Construction for Double-Pushout Rewriting
Authors: Jens Kosiol, Gabriele Taentzer
Comments: 36 pages, 33 figures, accepted for publication at the 14th International Conference on Graph Transformation (ICGT) 2021
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2105.02352 [src]
Title: Uniqueness typing for intersection types
Authors: Richard Statman, Andrew Polonsky
Comments: Superseded by arXiv:1809.08169v2
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[14]  arXiv:2105.02444 [pdf, ps, other]
Title: Parallelized sequential composition, pipelines, and hardware weak memory models
Authors: Robert J. Colvin
Subjects: Logic in Computer Science (cs.LO)
[15]  arXiv:2105.02485 [pdf, other]
Title: Positional Injectivity for Innocent Strategies
Authors: Lison Blondeau-Patissier (ENS Lyon), Pierre Clairambault (LIP, PLUME)
Journal-ref: 6TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION, Jul 2021, Buenos Aires, Argentina
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[16]  arXiv:2105.02559 [pdf, ps, other]
Title: Probablistic Bigraphs
Authors: Blair Archibald, Muffy Calder, Michele Sevegnani
Comments: 20 pages, 15 figures
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:2105.02842 [pdf, other]
Title: Concurrency Theorems for Non-linear Rewriting Theories
Authors: Nicolas Behr (Université de Paris, CNRS, IRIF), Russ Harmer (Univ. Lyon, EnsL, UCBL, CNRS, LIP, France), Jean Krivine (Université de Paris, CNRS, IRIF)
Comments: 19+14 pages, LNCS style; ICGT 2021 conference paper extended version
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2105.03005 [pdf, ps, other]
Title: A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
Authors: Maximiliano Cristiá, Gianfranco Rossi
Comments: arXiv admin note: text overlap with arXiv:2102.05422
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[19]  arXiv:2105.03274 [pdf, other]
Title: Lovász-Type Theorems and Game Comonads
Authors: Anuj Dawar, Tomáš Jakl, Luca Reggio
Comments: 23 pages. To appear in the Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[20]  arXiv:2105.03389 [pdf, ps, other]
Title: GADTs, Functoriality, Parametricity: Pick Two
Authors: Patricia Johann (Appalachian State University), Enrico Ghiorzi (Appalachian State University), Daniel Jeffries (Appalachian State University)
Comments: In Proceedings LSFA 2021, arXiv:2204.03415
Journal-ref: EPTCS 357, 2022, pp. 77-92
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[21]  arXiv:2105.04057 [pdf, other]
Title: Fast Automated Reasoning over String Diagrams using Multiway Causal Structure
Authors: Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla
Comments: Submitted to Applied Category Theory 2021. 14 pages, 9 figures
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
[22]  arXiv:2105.04110 [pdf, ps, other]
Title: A Framework for Reasoning About LF Specifications
Authors: Mary Southern
Subjects: Logic in Computer Science (cs.LO)
[23]  arXiv:2105.04176 [pdf, other]
Title: HyperLTL Satisfiability is $Σ_1^1$-complete, HyperCTL* Satisfiability is $Σ_1^2$-complete
Authors: Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
Subjects: Logic in Computer Science (cs.LO)
[24]  arXiv:2105.04501 [pdf, other]
Title: Incorrectness Logic for Graph Programs
Authors: Christopher M. Poskitt
Comments: Accepted by the 14th International Conference on Graph Transformation (ICGT 2021)
Journal-ref: Proc. ICGT 2021, volume 12741 of LNCS, pages 81-101. Springer, 2021
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:2105.04817 [pdf, other]
Title: Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
Authors: Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
Comments: 38 pages
Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)
[26]  arXiv:2105.04929 [pdf, other]
Title: Asynchronous Template Games and the Gray Tensor Product of 2-Categories
Authors: Melliès Paul-André
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[27]  arXiv:2105.05133 [pdf, other]
Title: Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL
Authors: Simon Foster, Chung-Kil Hur, Jim Woodcock
Comments: 14 pages, submitted to CONCUR 2021
Subjects: Logic in Computer Science (cs.LO)
[28]  arXiv:2105.05763 [pdf, other]
Title: Iltis: Learning Logic in the Web
Authors: Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
Subjects: Logic in Computer Science (cs.LO)
[29]  arXiv:2105.06009 [pdf, other]
Title: Verification of the Incremental Merkle Tree Algorithm with Dafny
Authors: Franck Cassez
Comments: 16 pages
Subjects: Logic in Computer Science (cs.LO)
[30]  arXiv:2105.06186 [pdf, other]
Title: Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract)
Authors: Nicolas Behr (Université Paris Cité, IRIF, CNRS), Joachim Kock (Universitat Autònoma de Barcelona & Centre de Recerca Matemàtica)
Comments: In Proceedings ACT 2021, arXiv:2211.01102
Journal-ref: EPTCS 372, 2022, pp. 323-337
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[31]  arXiv:2105.06194 [pdf, other]
Title: Geometric Model Checking of Continuous Space
Authors: Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 4 (November 22, 2022) lmcs:9060
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Graphics (cs.GR)
[32]  arXiv:2105.06202 [pdf, ps, other]
Title: Deciding FO-definability of regular languages
Authors: Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[33]  arXiv:2105.06244 [pdf, other]
Title: A Graphical Calculus for Lagrangian Relations
Authors: Cole Comfort (University of Oxford), Aleks Kissinger (University of Oxford)
Comments: In Proceedings ACT 2021, arXiv:2211.01102
Journal-ref: EPTCS 372, 2022, pp. 338-351
Subjects: Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Category Theory (math.CT); Quantum Physics (quant-ph)
[34]  arXiv:2105.06575 [pdf, other]
Title: Merit and Blame Assignment with Kind 2
Authors: Daniel Larraz, Mickaël Laurent, Cesare Tinelli
Subjects: Logic in Computer Science (cs.LO)
[35]  arXiv:2105.06690 [pdf, other]
Title: On Bisimilarities for Closure Spaces - Preliminary Version
Authors: Vincenzo Ciancia, Diego Latella, Mieke Massink Erik de Vink
Subjects: Logic in Computer Science (cs.LO)
[36]  arXiv:2105.06723 [pdf, other]
Title: Bounded Reachability Problems are Decidable in FIFO Machines
Authors: Benedikt Bollig, Alain Finkel, Amrita Suresh
Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 20, 2022) lmcs:7485
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[37]  arXiv:2105.06744 [pdf, other]
Title: A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm
Authors: Michal Koucký, Vojtěch Rödl, Navid Talebanfard
Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 4 (December 13, 2021) lmcs:7484
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[38]  arXiv:2105.06787 [pdf, ps, other]
Title: Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition
Authors: Robin Hirsch, Jaš Šemrl
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[39]  arXiv:2105.06908 [pdf, ps, other]
Title: From Multisets over Distributions to Distributions over Multisets
Authors: Bart Jacobs
Subjects: Logic in Computer Science (cs.LO)
[40]  arXiv:2105.07531 [pdf, ps, other]
Title: First-Order Reasoning and Efficient Semi-Algebraic Proofs
Authors: Fedor Part, Neil Thapen, Iddo Tzameret
Comments: A preliminary version of this work appears in 36th Ann. Symp. Logic Comput. Science (LICS) 2021
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[41]  arXiv:2105.07595 [pdf, ps, other]
Title: A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours
Authors: Xinxin Liu, Tingting Yu
Comments: 13 pages. To be published in LICS2021
Subjects: Logic in Computer Science (cs.LO)
[42]  arXiv:2105.07663 [pdf, other]
Title: Summing Up Smart Transitions
Authors: Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv
Comments: This submission is an extended version of the CAV 2021 paper "Summing Up Smart Transitions", by N. Elad, S. Rain, N. Immerman, L. Kov\'acs and M. Sagiv
Subjects: Logic in Computer Science (cs.LO)
[43]  arXiv:2105.08155 [pdf, ps, other]
Title: (Deep) Induction Rules for GADTs
Authors: Patricia Johann, Enrico Ghiorzi
Comments: 14 pages
Subjects: Logic in Computer Science (cs.LO)
[44]  arXiv:2105.08231 [pdf, ps, other]
Title: The Topological Mu-Calculus: completeness and decidability
Authors: Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
Subjects: Logic in Computer Science (cs.LO)
[45]  arXiv:2105.08353 [pdf, ps, other]
Title: Quantitative and Approximate Monitoring
Authors: Thomas A. Henzinger, N. Ege Saraç
Comments: To appear in LICS 2021; corrected a reference
Subjects: Logic in Computer Science (cs.LO)
[46]  arXiv:2105.08473 [pdf, other]
Title: An Internal Language for Categories Enriched over Generalised Metric Spaces
Authors: Fredrik Dahlqvist, Renato Neves
Comments: Extended version of the CSL'22 paper "An Internal Language for Categories Enriched over Generalised Metric Spaces"
Subjects: Logic in Computer Science (cs.LO)
[47]  arXiv:2105.08708 [pdf, other]
Title: A Spatial Logic for Simplicial Models
Authors: Michele Loreti, Michela Quadrini
Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 3 (July 26, 2023) lmcs:8576
Subjects: Logic in Computer Science (cs.LO)
[48]  arXiv:2105.08951 [pdf, ps, other]
Title: On the logical structure of choice and bar induction principles
Authors: Nuria Brede, Hugo Herbelin (PI.R2)
Comments: LICS 2021 - 36th Annual Symposium on Logic in Computer Science, Jun 2021, Rome / Virtual, Italy
Subjects: Logic in Computer Science (cs.LO)
[49]  arXiv:2105.09169 [pdf, other]
Title: Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR
Authors: Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Subjects: Logic in Computer Science (cs.LO)
[50]  arXiv:2105.09368 [pdf, ps, other]
Title: An Algebraic Characterisation of First-Order Logic with Neighbour
Authors: Amaldev Manuel, Dhruv Nevatia
Comments: 13 pages
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[51]  arXiv:2105.09533 [pdf, other]
Title: From Verification to Causality-based Explications
Authors: Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
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
Authors: Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
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
Authors: Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Notzli, Andrew Reynolds, Clark Barrett
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
Authors: Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
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)
Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 3 (July 29, 2022) lmcs:8355
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
Authors: David Tuckey, Alessandra Russo, Krysia Broda
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
Authors: Iris van der Giessen, Raheleh Jalali, Roman Kuznets
Subjects: Logic in Computer Science (cs.LO)
[60]  arXiv:2105.10946 [pdf, other]
Title: Diagrammatic Polyhedral Algebra
Authors: Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
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
Authors: L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti
Comments: arXiv admin note: substantial text overlap with arXiv:1904.08847
Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 7, 2022) lmcs:7505
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
Authors: Mikhail Rybakov, Dmitry Shkatov
Subjects: Logic in Computer Science (cs.LO)
[63]  arXiv:2105.12322 [pdf, other]
Title: Runtime Monitoring for Markov Decision Processes
Authors: Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
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
Authors: Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd Millstein, Sanjit A. Seshia, Guy Van Den Broeck
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
Authors: Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
Subjects: Logic in Computer Science (cs.LO)
[66]  arXiv:2105.12678 [pdf, ps, other]
Title: A Flexible FPGA-Based ISA Configurable SoC platform
Authors: Shih-Yi Yuan, Bo-Yu Zhu
Subjects: Logic in Computer Science (cs.LO)
[67]  arXiv:2105.12986 [pdf, ps, other]
Title: Algebras of Sets and Coherent Sets of Gambles
Authors: Juerg Kohlas, Arianna Casanova, Marco Zaffalon
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
Authors: George Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia
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
Authors: Chelsea Edmonds, Lawrence Paulson
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
Journal-ref: International Conference on Intelligent Computer Mathematics (2021), 3-18
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
Authors: Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
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
Authors: Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Comments: FM 2021
Subjects: Logic in Computer Science (cs.LO)
[72]  arXiv:2105.14247 [pdf, ps, other]
Title: Causality-Based Game Solving
Authors: Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
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
Authors: Dieter Spreen, Ulrich Berger
Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 3 (July 6, 2023) lmcs:7529
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
Authors: Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Comments: To be published in Proc. of CAV 2021
Subjects: Logic in Computer Science (cs.LO)
[75]  arXiv:2105.14452 [pdf, other]
Title: A unified logical framework for explanations in classifier systems
Authors: Xinghan Liu, Emiliano Lorini
Comments: 36 pages
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)
[76]  arXiv:2105.14579 [pdf, ps, other]
Title: Intensional Kleene and Rice Theorems for Abstract Program Semantics
Authors: Paolo Baldan, Francesco Ranzato, Linpeng Zhang
Comments: 42 pages. Journal paper submitted to Information and Computation
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[77]  arXiv:2105.14697 [pdf, other]
Title: An Automated Approach to the Collatz Conjecture
Authors: Emre Yolcu, Scott Aaronson, Marijn J.H. Heule
Subjects: Logic in Computer Science (cs.LO)
[78]  arXiv:2105.14887 [pdf, other]
Title: Parameterised Complexity of Propositional Inclusion and Independence Logic
Authors: Yasir Mahmood, Jonni Virtema
Comments: A revised version
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[79]  arXiv:2105.00208 (cross-list from cs.FL) [pdf, other]
Title: A structural operational semantics for interactions with a look at loops
Authors: Erwan Mahe, Christophe Gaston, Pascale Le Gall
Comments: 14 pages of contents, 9 additional pages with 1 for references and 8 for appendices, 5 figures
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[80]  arXiv:2105.00274 (cross-list from cs.AI) [pdf, ps, other]
Title: Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)
Authors: Patrick Koopmann
Comments: Extended version of a paper accepted at IJCAI-2021, 20 pages, 3 figures
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[81]  arXiv:2105.00663 (cross-list from cs.AI) [pdf, ps, other]
Title: Bounds of MIN_NCC and MAX_NCC and filtering scheme for graph domain variables
Authors: Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca
Comments: short note, 3 pages
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[82]  arXiv:2105.01112 (cross-list from cs.SC) [pdf, other]
Title: Tuple Interpretations for Higher-Order Rewriting
Authors: Deivid Vale, Cynthia Kop
Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
[83]  arXiv:2105.01512 (cross-list from cs.FL) [pdf, other]
Title: Simulation by Rounds of Letter-to-Letter Transducers
Authors: Antonio Abu Nassar, Shaull Almagor
Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (December 5, 2023) lmcs:9920
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[84]  arXiv:2105.02156 (cross-list from cs.PL) [pdf, other]
Title: Recursion and Sequentiality in Categories of Sheaves
Authors: Cristina Matache, Sean Moss, Sam Staton
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[85]  arXiv:2105.02264 (cross-list from cs.AI) [pdf, other]
Title: Human Activity Recognition Models in Ontology Networks
Authors: Luca Buoncompagni, Syed Yusha Kareem, Fulvio Mastrogiovanni
Comments: The paper has been accepted for publication in the IEEE Transactions on Cybernetics journal on April 2021 and with DOI 10.1109/TCYB.2021.3073539. It is an extension of arXiv:1707.03988v1 and it is related to the arXiv:1809.08208v1 article. It contains 20 pages, 6 figures, 4 tables and 2 Appendices
Journal-ref: IEEE Transactions on Cybernetics, 2021
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[86]  arXiv:2105.02283 (cross-list from cs.AI) [pdf, other]
Title: Operating Room (Re)Scheduling with Bed Management via ASP
Authors: Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[87]  arXiv:2105.02541 (cross-list from cs.PL) [pdf, ps, other]
Title: From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
Authors: Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[88]  arXiv:2105.02611 (cross-list from cs.FL) [pdf, other]
Title: A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Authors: Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Journal-ref: Logical Methods in Computer Science (January 11, 2024) lmcs:10156
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[89]  arXiv:2105.03522 (cross-list from cs.PL) [pdf, other]
Title: On Abstract Machine Semantics for Proto-Quipper-M
Authors: Andrea Colledan
Comments: 72 pages (34 without appendix), 5 figures
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[90]  arXiv:2105.03531 (cross-list from cs.CC) [pdf, other]
Title: On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report
Authors: Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott
Comments: This Technical Report updates and subsumes the technical report arXiv:1606.07886. arXiv admin note: text overlap with arXiv:1606.07886
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[91]  arXiv:2105.03693 (cross-list from cs.DM) [pdf, other]
Title: Discrepancy and Sparsity
Authors: Mario Grobler, Yiting Jiang, Patrice Ossona de Mendez, Sebastian Siebertz, Alexandre Vigny
Comments: Submitted version
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)
[92]  arXiv:2105.04692 (cross-list from cs.AI) [pdf, other]
Title: Budget-Constrained Coalition Strategies with Discounting
Authors: Lia Bozzone, Pavel Naumov
Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Logic (math.LO)
[93]  arXiv:2105.06001 (cross-list from cs.AI) [pdf, other]
Title: Sufficient reasons for classifier decisions in the presence of constraints
Authors: Niku Gorji, Sasha Rubin
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[94]  arXiv:2105.06024 (cross-list from cs.PL) [pdf, ps, other]
Title: Type-Based Termination for Futures
Authors: Siva Somayyajula, Frank Pfenning
Comments: 23 pages. Extended version
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[95]  arXiv:2105.06319 (cross-list from cs.CR) [pdf, ps, other]
Title: The Inductive Approach to Verifying Cryptographic Protocols
Authors: Lawrence C. Paulson
Journal-ref: J. Computer Security 6 (1998), 85-128
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[96]  arXiv:2105.06424 (cross-list from cs.PL) [pdf, other]
Title: Stateless Model Checking under a Reads-Value-From Equivalence
Authors: Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
Comments: Full technical report of the CAV2021 work
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[97]  arXiv:2105.06686 (cross-list from cs.GT) [pdf, other]
Title: Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
Authors: James C. A. Main, Mickael Randour, Jeremy Sproston
Comments: Full version of CONCUR 2021 conference paper, 36 pages
Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[98]  arXiv:2105.06782 (cross-list from cs.AI) [pdf, other]
Title: SAT-Based Rigorous Explanations for Decision Lists
Authors: Alexey Ignatiev, Joao Marques-Silva
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[99]  arXiv:2105.07525 (cross-list from cs.CC) [pdf, ps, other]
Title: Monomial-size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus
Authors: Tuomas Hakoniemi
Comments: To appear in the Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[100]  arXiv:2105.07648 (cross-list from cs.AI) [pdf, other]
Title: A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems
Authors: Jieting Luo, Beishui Liao, John-Jules Meyer
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[101]  arXiv:2105.08490 (cross-list from cs.CC) [pdf, ps, other]
Title: GSF-locality is not sufficient for proximity-oblivious testing
Authors: Isolde Adler, Noleen Köhler, Pan Peng
Comments: 28 pages, 3 figures
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[102]  arXiv:2105.08619 (cross-list from cs.CR) [pdf, other]
Title: On the Robustness of Domain Constraints
Authors: Ryan Sheatsley, Blaine Hoak, Eric Pauley, Yohan Beugin, Michael J. Weisman, Patrick McDaniel
Comments: Accepted to the 28th ACM Conference on Computer and Communications Security. Seoul, South Korea
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[103]  arXiv:2105.09129 (cross-list from cs.GT) [pdf, ps, other]
Title: A Game-Theoretic Account of Responsibility Allocation
Authors: Christel Baier, Florian Funke, Rupak Majumdar
Comments: 20 pages, 3 figures, technical report associated with an IJCAI'21 publication
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[104]  arXiv:2105.09221 (cross-list from cs.AI) [pdf, ps, other]
Title: Program Synthesis as Dependency Quantified Formula Modulo Theory
Authors: Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Comments: 12 page excluding reference. To be published in 30th International Joint Conference on Artificial Intelligence (IJCAI-21)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[105]  arXiv:2105.09291 (cross-list from cs.FL) [pdf, ps, other]
Title: Deciding FO2 Alternation for Automata over Finite and Infinite Words
Authors: Viktor Henriksson, Manfred Kufleitner
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[106]  arXiv:2105.09976 (cross-list from cs.AI) [pdf, ps, other]
Title: Epistemic Planning with Attention as a Bounded Resource
Authors: Gaia Belardinelli, Rasmus K. Rendsvig
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Theoretical Economics (econ.TH); Logic (math.LO)
[107]  arXiv:2105.10293 (cross-list from cs.FL) [pdf, other]
Title: Decision Questions for Probabilistic Automata on Small Alphabets
Authors: Paul C. Bell, Pavel Semukhin
Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (December 21, 2023) lmcs:9753
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[108]  arXiv:2105.10362 (cross-list from cs.CL) [pdf, other]
Title: Functionals in the Clouds: An abstract architecture of serverless Cloud-Native Apps
Authors: Stanislaw Ambroszkiewicz, Waldemar Bartyna, Stanislaw Bylka
Comments: a bit improved FINAL version
Subjects: Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[109]  arXiv:2105.10687 (cross-list from cs.PL) [pdf, ps, other]
Title: Normalising Lustre Preserves Security
Authors: Sanjiva Prasad, R. Madhukar Yerraguntla
Comments: Submitted version. 27 Pages including appendix and references
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[110]  arXiv:2105.11763 (cross-list from cs.AI) [pdf, other]
Title: Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Authors: Emilio Gamba, Bart Bogaerts, Tias Guns
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[111]  arXiv:2105.12911 (cross-list from eess.SY) [pdf, other]
Title: Compositional Thinking in Cyberphysical Systems Theory
Authors: Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[112]  arXiv:2105.13071 (cross-list from cs.LG) [pdf, other]
Title: Learning Union of Integer Hypercubes with Queries (Technical Report)
Authors: Oliver Markgraf, Daniel Stan, Anthony W. Lin
Comments: Extended version (technical report) of a paper published in CAV 2021
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[113]  arXiv:2105.13683 (cross-list from cs.FL) [pdf, other]
Title: Fast zone-based algorithms for reachability in pushdown timed automata
Authors: S. Akshay, Paul Gastin, Karthik R Prakash
Comments: Long version of conference paper accepted at CAV'2021
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[114]  arXiv:2105.14706 (cross-list from cs.AI) [pdf, ps, other]
Title: The Role of Entropy in Guiding a Connection Prover
Authors: Zsolt Zombori, Josef Urban, Miroslav Olšák
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[115]  arXiv:2105.14769 (cross-list from cs.PL) [pdf, ps, other]
Title: Gillian: A Multi-Language Platform for Unified Symbolic Analysis
Authors: Petar Maksimović, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[116]  arXiv:2105.14894 (cross-list from cs.AI) [pdf, ps, other]
Title: LTL-Constrained Steady-State Policy Synthesis
Authors: Jan Křetínský
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[117]  arXiv:2105.00283 (cross-list from math.CT) [pdf, ps, other]
Title: Dialectica models of type theory
Authors: Sean K. Moss, Tamara von Glehn
Journal-ref: LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science July 2018
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[118]  arXiv:2105.00382 (cross-list from quant-ph) [pdf, other]
Title: Model Checking Quantum Continuous-Time Markov Chains
Authors: Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Number Theory (math.NT)
[119]  arXiv:2105.01724 (cross-list from math.CT) [pdf, other]
Title: Synthetic fibered $(\infty,1)$-category theory
Authors: Ulrik Buchholtz, Jonathan Weinberger
Comments: 92 pages, comments welcome; v6: final version
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT); Logic (math.LO)
[120]  arXiv:2105.01873 (cross-list from math.LO) [pdf, ps, other]
Title: Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
Authors: Jim de Groot, Tadeusz Litak, Dirt Pattinson
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[121]  arXiv:2105.02639 (cross-list from math.PR) [pdf, ps, other]
Title: De Finetti's Theorem in Categorical Probability
Authors: Tobias Fritz, Tomáš Gonda, Paolo Perrone
Comments: 26 pages. v3: referee's suggestions incorporated
Journal-ref: J. Stoch. Anal. 2(4), 6 (2021)
Subjects: Probability (math.PR); Logic in Computer Science (cs.LO); Category Theory (math.CT); Statistics Theory (math.ST)
[122]  arXiv:2105.03038 (cross-list from math.CT) [pdf, ps, other]
Title: Lambek pregroups are Frobenius spiders in preorders
Authors: Dusko Pavlovic
Comments: 21 pages, 16 diagrams. Final journal version: DOI kindly inserted by Fosco Loregian
Journal-ref: Compositionality 4, 1 (2022)
Subjects: Category Theory (math.CT); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
[123]  arXiv:2105.03252 (cross-list from math.LO) [pdf, other]
Title: Constructing Initial Algebras Using Inflationary Iteration
Authors: Andrew M. Pitts (University of Cambridge), S. C. Steenkamp (University of Cambridge)
Comments: In Proceedings ACT 2021, arXiv:2211.01102
Journal-ref: EPTCS 372, 2022, pp. 88-102
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[124]  arXiv:2105.04355 (cross-list from math.CT) [pdf, other]
Title: Situated Transition Systems
Authors: Chad Nester (Tallinn University of Technology)
Comments: In Proceedings ACT 2021, arXiv:2211.01102
Journal-ref: EPTCS 372, 2022, pp. 103-115
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[125]  arXiv:2105.04958 (cross-list from math.CT) [pdf, other]
Title: A Variety Theorem for Relational Universal Algebra
Authors: Chad Nester
Comments: 16 pages including bibliography. Appeared at RAMICS 2021
Journal-ref: LNCS 13027 (2021) 362-377
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[126]  arXiv:2105.05626 (cross-list from quant-ph) [pdf, ps, other]
Title: Reversify any sequential algorithm
Authors: Yuri Gurevich
Subjects: Quantum Physics (quant-ph); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Logic (math.LO)
[127]  arXiv:2105.07734 (cross-list from math.LO) [pdf, ps, other]
Title: Induction and Skolemization in saturation theorem proving
Authors: Stefan Hetzl, Jannik Vierling
Comments: Revised version
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[128]  arXiv:2105.08422 (cross-list from math.LO) [pdf, ps, other]
Title: Parametricity and Semi-Cubical Types
Authors: Hugo Moeneclaey
Comments: 29 pages, presented at LICS 2021
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[129]  arXiv:2105.10542 (cross-list from math.CO) [pdf, ps, other]
Title: Big Ramsey degrees of the generic partial order
Authors: Martin Balko, David Chodounský, Natasha Dobrinen, Jan Hubička, Matěj Konečný, Lluis Vena, Andy Zucker
Comments: 6 pages, extended abstract accepted to EUROCOMB 2021
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO)
[130]  arXiv:2105.10822 (cross-list from math.CT) [pdf, other]
Title: Homotopies in Multiway (Non-Deterministic) Rewriting Systems as $n$-Fold Categories
Authors: Xerxes D. Arsiwalla, Jonathan Gorard, Hatem Elshatlawy
Comments: 16 pages, 5 figures
Subjects: Category Theory (math.CT); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Combinatorics (math.CO)
[131]  arXiv:2105.10853 (cross-list from q-bio.MN) [pdf, other]
Title: Parametric Toricity of Steady State Varieties of Reaction Networks
Authors: Hamid Rahkooy, Thomas Sturm
Comments: Computations available as ancillary files
Subjects: Molecular Networks (q-bio.MN); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[132]  arXiv:2105.11398 (cross-list from econ.TH) [pdf, other]
Title: A Category for Extensive-Form Games
Authors: Peter A. Streufert
Comments: 60 pages, 17 figures, formulation entirely different from arXiv:2004.11196
Subjects: Theoretical Economics (econ.TH); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[133]  arXiv:2105.12185 (cross-list from math.LO) [pdf, other]
Title: The Pseudofinite Monadic Second Order Theory of Linear Order
Authors: Deacon Linkhorn
Subjects: Logic (math.LO); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[134]  arXiv:2105.12251 (cross-list from math.LO) [pdf, ps, other]
Title: A Canonical Fuzzy Logic
Authors: Osvaldo Skliar, Sherry Gapper, Ricardo E. Monge
Comments: 28 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[135]  arXiv:2105.12801 (cross-list from math.CT) [pdf, other]
Title: Dialectica Petri Nets
Authors: Elena Di Lavore, Wilmer Leal, Valeria de Paiva
Comments: Reorder sections
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[136]  arXiv:2105.14047 (cross-list from quant-ph) [pdf, other]
Title: Generators and Relations for Un(Z[1/2,i])
Authors: Xiaoning Bian (Dalhousie University), Peter Selinger (Dalhousie University)
Comments: In Proceedings QPL 2021, arXiv:2109.04886
Journal-ref: EPTCS 343, 2021, pp. 145-164
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO)
[137]  arXiv:2105.09202 (cross-list from math.LO) [pdf, ps, other]
Title: Neighbourhood semantics for graded modal logic
Authors: Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis
Comments: removed journal template
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[ total of 137 entries: 1-137 ]
[ showing 137 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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