- David Fernández-Duque, Quentin Gougeon:
Fixed Point Logics on Hemimetric Spaces. LICS 2023: 1-13 - Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak:
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF. LICS 2023: 1-14 - Diego Figueira, Santiago Figueira, Edwin Pin Baque:
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. LICS 2023: 1-13 - Zeinab Galal:
Fixpoint operators for 2-categorical structures. LICS 2023: 1-13 - Francesco Gavazzo:
Allegories of Symbolic Manipulations. LICS 2023: 1-15 - Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine:
Reachability in Injective Piecewise Affine Maps. LICS 2023: 1-11 - Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger:
Intuitionistic S4 is decidable. LICS 2023: 1-13 - Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Semi-Simplicial Set Models for Distributed Knowledge. LICS 2023: 1-13 - Martin Grohe:
The Descriptive Complexity of Graph Neural Networks. LICS 2023: 1-14 - Martin Grohe, Moritz Lichter, Daniel Neuen:
The Iteration Number of the Weisfeiler-Leman Algorithm. LICS 2023: 1-13 - Jessie Grosen, David M. Kahn, Jan Hoffmann:
Automatic Amortized Resource Analysis with Regular Recursive Types. LICS 2023: 1-14 - Amar Hadzihasanovic, Diana Kessler:
Higher-Dimensional Subdiagram Matching. LICS 2023: 1-13 - Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht:
Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. LICS 2023: 1-13 - Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton:
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. LICS 2023: 1-14 - Tomas Jakl, Dan Marsden, Nihil Shah:
A categorical account of composition methods in logic. LICS 2023: 1-14 - Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
Set-Theoretic and Type-Theoretic Ordinals Coincide. LICS 2023: 1-13 - Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell:
The Power of Positivity. LICS 2023: 1-11 - Marie Kerjean, Jean-Simon Pacaud Lemay:
Taylor Expansion as a Monad in Models of DiLL. LICS 2023: 1-13 - Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos:
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. LICS 2023: 1-13 - Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger:
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. LICS 2023: 1-14 - Elena Di Lavore, Mario Román:
Evidential Decision Theory via Partial Markov Categories. LICS 2023: 1-14 - Axel Ljungström, Anders Mörtberg:
Formalizing π4(S3) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda. LICS 2023: 1-13 - Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala:
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. LICS 2023: 1-12 - Tamio-Vesa Nakajima, Stanislav Zivný:
Boolean symmetric vs. functional PCSP dichotomy. LICS 2023: 1-12 - Yoshiki Nakamura:
Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations. LICS 2023: 1-13 - Yue Niu, Robert Harper:
A Metalanguage for Cost-Aware Denotational Semantics. LICS 2023: 1-14 - Damian Niwinski, Pawel Parys, Michal Skrzypczak:
The Probabilistic Rabin Tree Theorem*. LICS 2023: 1-13 - Thomas Place, Marc Zeitoun:
Group Separation Strikes Back. LICS 2023: 1-13 - Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke:
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. LICS 2023: 1-14 - Wojciech Przybyszewski:
Distal Combinatorial Tools for Graphs of Bounded Twin-Width. LICS 2023: 1-13