Logic in Computer Science

Authors and titles for recent submissions

• Thu, 2 Jul 2026
• Wed, 1 Jul 2026
• 2026年6月30日
• 2026年6月29日
• 2026年6月26日

See today's new changes

Thu, 2 Jul 2026 (showing 8 of 8 entries )

[1] arXiv:2607.01110 [pdf, html, other]

Title: Definability of Functional Properties in the Basic Modal-Temporal Language over Ordered Frames

Alfredo Burrieza

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[2] arXiv:2607.00815 [pdf, html, other]

Title: LRAT-Catcher: Importing SAT Solver Certificates into Lean4 by Reflection

Stefan Szeider

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[3] arXiv:2607.00782 [pdf, html, other]

Title: Effective Stochastic Automata Model Checking by Interval Abstraction (extended version)

Pedro R. D'Argenio, Arnd Hartmanns, Annabell Petri

Comments: Extended version of the article "Effective Stochastic Automata Model Checking by Interval Abstraction" presented and published at the 3rd International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS 2026), 2-4 September 2026, Liverpool, UK (see this https URL)

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:2607.00521 [pdf, html, other]

Title: Semantic Labelling in Practice

Dieter Hofbauer, Johannes Waldmann

Comments: Presented at WST 2026

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:2607.00034 [pdf, other]

Title: Bayesian updates from coalgebraic determinisation

Manuel Baltieri, Nathaniel Virgo

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY); Probability (math.PR)

[6] arXiv:2607.01223 (cross-list from cs.AI) [pdf, html, other]

Title: Theoria: Rewrite-Acceptability Verification over Informal Reasoning States

Ben Slivinski, Michael Saldivar

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[7] arXiv:2607.00795 (cross-list from quant-ph) [pdf, html, other]

Title: Three-qubit nonlocality paradoxes: beyond GHZ

Nadish de Silva, Santanil Jana, Ming Yin

Comments: Preliminary draft version; updated exposition forthcoming

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph)

[8] arXiv:2607.00044 (cross-list from cs.FL) [pdf, html, other]

Title: Destination-Labeled Self-Looping Systems with Dwell: Intrinsic Characterization, Realization Cost, and Recognition

Reda Belaiche

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

Wed, 1 Jul 2026 (showing 41 of 41 entries )

[9] arXiv:2606.31927 [pdf, other]

Title: Some Results on Causal Modalities in General Spacetimes

Marco Lewis (Université Paris-Saclay, CNRS, CentraleSupélec, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles), Nesta van der Schaaf (Université Paris-Saclay, CNRS, CentraleSupélec, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles)

Comments: In Proceedings AiML 2026, arXiv:2606.29444. AiML 2026 proceedings version of arXiv.2601.14029

Journal-ref: EPTCS 447, 2026, pp. 584-602

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:2606.31920 [pdf, other]

Title: Logics Containing wK4: Selection à la Fine

Simon Santschi, Niels C. Vooijs

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 674-690

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:2606.31906 [pdf, html, other]

Title: A Gödel Modal Logic Over Witnessed Models

Mauro Ferrari (Dep. of Theoretical and Applied Sciences, Università degli Studi dell'Insubria, Varese, Italy), Camillo Fiorentini (Dep. of Computer Science, Università degli Studi di Milano, Milano, Italy), Paolo Giardini (Dep. of Theoretical and Applied Sciences, Università degli Studi dell'Insubria, Varese, Italy), Ricardo Oscar Rodriguez (UBA-FCEyN, Dep. De Computación, Buenos Aires, Argentina)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 355-373

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:2606.31893 [pdf, other]

Title: Non-finite Axiomatizability of Generalized Medvedev Logics

Han Xiao (Tsinghua University)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 770-781

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:2606.31892 [pdf, other]

Title: Better Understanding, Understanding Better

Yu Wei (Department of Philosophy, East China Normal University)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 750-769

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[14] arXiv:2606.31891 [pdf, other]

Title: Knowing-Value Logic with Successor Arithmetic

Hongyi Wang (Department of Philosophy, Peking University)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 731-749

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:2606.31890 [pdf, other]

Title: Uniform Lyndon Interpolation via Non-wellfounded Proofs

Borja Sierra Miranda (University of Bern), Thomas Studer (University of Bern)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 711-730

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:2606.31888 [pdf, other]

Title: Non-classical Topological Evidence Logic

Igor Sedlár (Institute of Computer Science, Czech Academy of Sciences)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 691-710

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:2606.31887 [pdf, other]

Title: Uniform Interpolation of Basic Tense Logic

Katsuhiko Sano (Hokkaido University)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 655-673

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:2606.31884 [pdf, other]

Title: Intuitionistic Justification Logic, Semantically

Sonia Marin (University of Birmingham), Paaras Padhiar (University of Birmingham), Ian Shillito (University of Birmingham)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 603-622

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:2606.31882 [pdf, other]

Title: Pointed Modal Abelian Logic, Algebraically

Filip Jankovec (Institute of Computer Science, Czech Academy of Sciences), Wolfgang Poiger (Institute of Computer Science, Czech Academy of Sciences)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 518-531

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:2606.31881 [pdf, other]

Title: Stratified Counterpossible Logic

Chen Huang (Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University), Xuefeng Wen (Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 500-517

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:2606.31880 [pdf, other]

Title: On Modal Logics of Connectedness in Metric Spaces

John Harding (New Mexico State University), Ilya Shapirovsky (New Mexico State University)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 484-499

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:2606.31878 [pdf, other]

Title: Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts

Rajeev Goré (Faculty of Information Technology, Monash University, Australia), Cormac Kikkert (Cormac Kikkert Research)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 427-444

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[23] arXiv:2606.31877 [pdf, other]

Title: Taming Complexity in Intuitionistic Modal Logic: The Case of FIK and Its Shallow Calculus

Han Gao (Institute of Computer Science, Czech Academy of Sciences), Nicola Olivetti (Aix-Marseille University, CNRS)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 407-426

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[24] arXiv:2606.31874 [pdf, other]

Title: Topological Logics of Path-Reachability

Aleksandr Gagarin, David Fernández-Duque

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 391-406

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:2606.31872 [pdf, other]

Title: Hyperformalism for Relevant Modal Logics

Thomas Macaulay Ferguson (Rensselaer Polytechnic Institute), Shay Allen Logan (Kansas State University)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 341-354

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:2606.31870 [pdf, other]

Title: Intuitionistic Monotone Modal Logic: Proof Theory and Semantics

Tiziano Dalmonte, Jim de Groot

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 278-298

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[27] arXiv:2606.31868 [pdf, other]

Title: Labelled Sequents for Inquisitive First-Order Modal Logic

Ivano Ciardelli (University of Padua), Simone Conti (University of Padua)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 242-261

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:2606.31866 [pdf, other]

Title: Inquisitive Action Logic

Ivano Ciardelli (University of Padua)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 222-241

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[29] arXiv:2606.31865 [pdf, other]

Title: Goldblatt-Thomason Theorem for Probability Logic

Somayeh Chopoghloo (School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran), Massoud Pourmahdian (School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran, Department of Mathematics and Computer Science, Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran), Reihane Zoghifard (School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 203-221

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:2606.31863 [pdf, other]

Title: Most Properties are Undecidable for Transitive Tense Logics

Qian Chen (The Tsinghua-UvA JRC for Logic, Department of Philosophy, Tsinghua University), Tenyo Takahashi (Institute for Logic, Language and Computation, University of Amsterdam)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 189-202

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:2606.31861 [pdf, other]

Title: Belief Contraction in Dynamic Epistemic Logic

Gaia Belardinelli (Stanford University), Snow Zhang (University of Berkeley, California)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 137-157

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[32] arXiv:2606.31860 [pdf, other]

Title: Labelled Sequent Calculi for Propositional Team Logics

Fausto Barbero, Marianna Girlando, Valentin Müller, Fan Yang

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 117-136

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:2606.31858 [pdf, other]

Title: The Logic of Data Access and Data Exchanges

Alexandru Baltag (ILLC, University of Amsterdam), Sonja Smets (ILLC, University of Amsterdam)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 93-116

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[34] arXiv:2606.31855 [pdf, other]

Title: Resolving Asynchronous Distributed Knowledge

Philippe Balbiani (IRIT, CNRS-INP-University of Toulouse), Hans van Ditmarsch (IRIT, CNRS-INP-University of Toulouse), Clara Lerouvillois (IRIT, CNRS-INP-University of Toulouse, IHPST, CNRS-Paris 1 Pantheon Sorbonne)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 75-92

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[35] arXiv:2606.31852 [pdf, other]

Title: On Modal Logics of Full Products of Neighborhood Frames

Rajab Aghamov (Dresden University of Technology, Dresden, Germany), Andrey Kudinov (Higher School of Modern Mathematics, MIPT, Moscow, Russia, HSE University, Moscow, Russia), Maik Thanh Nguyen (Dresden University of Technology, Dresden, Germany), Jakob Piribauer (Dresden University of Technology, Dresden, Germany)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 1-15

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:2606.31344 [pdf, other]

Title: Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity

Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:2606.31080 [pdf, html, other]

Title: Beyond But-for Test: Counterfactual Explanation in Abstract Argumentation via Actual Causality (Extended Version)

Siyi Liu, Muyun Shao, Beishui Liao

Comments: Accepted for publication at the International Conference on Computational Models of Argument (COMMA 2026)

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[38] arXiv:2606.30888 [pdf, html, other]

Title: Automated Reasoning with Nested Datatypes

Tomer Hakak, Yoni Zohar, Andrew Reynolds, Clark Barrett, Cesare Tinelli

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:2606.30782 [pdf, other]

Title: A Lean 4 Formalization of Scott's \emph{Continuous Lattices} (1972)

Lars Warren Ericson

Comments: 104 pages, 5 figures

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[40] arXiv:2606.32004 (cross-list from cs.AI) [pdf, html, other]

Title: PolicyGuard: From Organizational Policies to Neuro-SymbolicCompliance Review Engines

Sameer Malik, Ayush Singh, Amar Prakash Azad

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[41] arXiv:2606.31886 (cross-list from cs.MA) [pdf, other]

Title: Analytic Cut in Epistemic Logics with Distributed Knowledge

Ryo Murai (Independent Researcher), Sizhuo Liu (Hokkaido University), Katsuhiko Sano (Hokkaido University)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 636-654

Subjects: Multiagent Systems (cs.MA); Logic in Computer Science (cs.LO)

[42] arXiv:2606.31885 (cross-list from math.LO) [pdf, other]

Title: Halo Semantics for Modal Logic

Yoàv Montacute

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 623-635

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); General Topology (math.GN)

[43] arXiv:2606.31883 (cross-list from math.LO) [pdf, other]

Title: Possibly Relevant Translations

Søren Brinck Knudstorp

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 567-583

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[44] arXiv:2606.31879 (cross-list from math.LO) [pdf, other]

Title: Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order Logic

Jim de Groot, João Marcos, Rodrigo Stefanes

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 464-483

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[45] arXiv:2606.31862 (cross-list from math.LO) [pdf, other]

Title: Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem

Nick Bezhanishvili, Jim de Groot, Lawrence S. Moss

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 158-172

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[46] arXiv:2606.31853 (cross-list from math.LO) [pdf, other]

Title: Conditionals and Modalities in Constructive Quantum Logics

Juan P. Aguilera (TU Wien), Guillaume Massas (Chapman University)

Comments: In Proceedings AiML 2026, arXiv:2606.29444

Journal-ref: EPTCS 447, 2026, pp. 16-34

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[47] arXiv:2606.31639 (cross-list from cs.CR) [pdf, html, other]

Title: A Lifecycle and Application-Stack Survey of Large Language Model Vulnerabilities: Attacks, Risks, Defenses, and Open Problems

Seyed Bagher Hashemi Natanzi, Bo Tang

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[48] arXiv:2606.31002 (cross-list from cs.AI) [pdf, other]

Title: Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization

Ke Zhang, Patricio Gallardo Candela, Sudhir Murthy, Yi Xie, Zhi Wang, Maziar Raissi

Comments: 25 pages, 5 figures

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

[49] arXiv:2606.30966 (cross-list from cs.AI) [pdf, other]

Title: HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation

Arshia Rafieioskouei, Tzu-Han Hsu, Matthew Lucas, Borzoo Bonakdarpour

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

2026年6月30日 (showing first 1 of 19 entries )

[50] arXiv:2606.30405 [pdf, html, other]

Title: Deciding the Common Fragment of CTL with Past and LTL

Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis

Comments: Extended version of the MFCS 2026 paper

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)