Logic in Computer Science Mar 2025

<!DOCTYPE html> <html lang="en"> <head> <title>Logic in Computer Science Mar 2025</title> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="apple-touch-icon" sizes="180x180" href="/static/browse/0.3.4/images/icons/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="/static/browse/0.3.4/images/icons/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="/static/browse/0.3.4/images/icons/favicon-16x16.png"> <link rel="manifest" href="/static/browse/0.3.4/images/icons/site.webmanifest"> <link rel="mask-icon" href="/static/browse/0.3.4/images/icons/safari-pinned-tab.svg" color="#5bbad5"> <meta name="msapplication-TileColor" content="#da532c"> <meta name="theme-color" content="#ffffff"> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/arXiv.css?v=20241206" /> <link rel="stylesheet" type="text/css" media="print" href="/static/browse/0.3.4/css/arXiv-print.css?v=20200611" /> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/browse_search.css" /> <script language="javascript" src="/static/browse/0.3.4/js/accordion.js" /></script> <script src="/static/browse/0.3.4/js/mathjaxToggle.min.js" type="text/javascript"></script> <script type="text/javascript" language="javascript">mathjaxToggle();</script> </head> <body class="with-cu-identity"> <div class="flex-wrap-footer"> <header> <a href="#content" class="is-sr-only">Skip to main content</a>  <div class="columns is-vcentered is-hidden-mobile" id="cu-identity"> <div class="column" id="cu-logo"> <a href="https://www.cornell.edu/"><img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University" /></a> </div><div class="column" id="support-ack"> <span id="support-ack-url">We gratefully acknowledge support from the Simons Foundation, <a href="https://info.arxiv.org/about/ourmembers.html">member institutions</a>, and all contributors.</span> <a href="https://info.arxiv.org/about/donate.html" class="btn-header-donate">Donate</a> </div> </div> <div id="header" class="is-hidden-mobile"> <a aria-hidden="true" tabindex="-1" href="/IgnoreMe"></a> <div class="header-breadcrumbs"> <a href="/"><img src="/static/browse/0.3.4/images/arxiv-logo-one-color-white.svg" alt="arxiv logo" style="height:40px;"/></a> <span>></span> <a href="/list/cs.LO/recent">cs.LO</a> </div> <div class="search-block level-right"> <form class="level-item mini-search" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <div class="control"> <input class="input is-small" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <p class="help"><a href="https://info.arxiv.org/help">Help</a> | <a href="https://arxiv.org/search/advanced">Advanced Search</a></p> </div> <div class="control"> <div class="select is-small"> <select name="searchtype" aria-label="Field to search"> <option value="all" selected="selected">All fields</option> <option value="title">Title</option> <option value="author">Author</option> <option value="abstract">Abstract</option> <option value="comments">Comments</option> <option value="journal_ref">Journal reference</option> <option value="acm_class">ACM classification</option> <option value="msc_class">MSC classification</option> <option value="report_num">Report number</option> <option value="paper_id">arXiv identifier</option> <option value="doi">DOI</option> <option value="orcid">ORCID</option> <option value="author_id">arXiv author ID</option> <option value="help">Help pages</option> <option value="full_text">Full text</option> </select> </div> </div> <input type="hidden" name="source" value="header"> <button class="button is-small is-cul-darker">Search</button> </div> </form> </div> </div> <div class="mobile-header"> <div class="columns is-mobile"> <div class="column logo-arxiv"><a href="https://arxiv.org/"><img src="/static/browse/0.3.4/images/arxiv-logomark-small-white.svg" alt="arXiv logo" style="height:60px;" /></a></div> <div class="column logo-cornell"><a href="https://www.cornell.edu/"> <picture> <source media="(min-width: 501px)" srcset="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg 400w" sizes="400w" /> <source srcset="/static/browse/0.3.4/images/icons/cu/cornell_seal_simple_black.svg 2x" /> <img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University Logo" /> </picture> </a></div> <div class="column nav" id="toggle-container" role="menubar"> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-white"><title>open search</title><path d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg></button> <div class="mobile-toggle-block toggle-target"> <form class="mobile-search-form" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <input class="input" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <input type="hidden" name="source" value="header"> <input type="hidden" name="searchtype" value="all"> <button class="button">GO</button> </div> </form> </div> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-white" role="menu"><title>open navigation menu</title><path d="M16 132h416c8.837 0 16-7.163 16-16V76c0-8.837-7.163-16-16-16H16C7.163 60 0 67.163 0 76v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16z"/ ></svg></button> <div class="mobile-toggle-block toggle-target"> <nav class="mobile-menu" aria-labelledby="mobilemenulabel"> <h2 id="mobilemenulabel">quick links</h2> <ul> <li><a href="https://arxiv.org/login">Login</a></li> <li><a href="https://info.arxiv.org/help">Help Pages</a></li> <li><a href="https://info.arxiv.org/about">About</a></li> </ul> </nav> </div> </div> </div> </div> </header> <main> <div id="content"> <div id='content-inner'> <div id='dlpage'> <h1>Logic in Computer Science</h1> <h2>Authors and titles for March 2025 </h2> <div class='paging'>Total of 77 entries : <span>1-50</span> <a href=/list/cs.LO/current?skip=50&show=50>51-77</a> </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.LO/current?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <a href=/list/cs.LO/current?skip=0&show=2000 rel="nofollow"> all</a> </div> <dl id='articles'> <dt> <a name='item1'>[1]</a> <a href ="/abs/2503.00809" title="Abstract" id="2503.00809"> arXiv:2503.00809 </a> [<a href="/pdf/2503.00809" title="Download PDF" id="pdf-2503.00809" aria-labelledby="pdf-2503.00809">pdf</a>, <a href="/format/2503.00809" title="Other formats" id="oth-2503.00809" aria-labelledby="oth-2503.00809">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Incorrectness Separation Logic with Arrays and Pointer Arithmetic </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Lee,+Y">Yeonseok Lee</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Nakazawa,+K">Koji Nakazawa</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 47 pages, 6 figures </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item2'>[2]</a> <a href ="/abs/2503.01247" title="Abstract" id="2503.01247"> arXiv:2503.01247 </a> [<a href="/pdf/2503.01247" title="Download PDF" id="pdf-2503.01247" aria-labelledby="pdf-2503.01247">pdf</a>, <a href="https://arxiv.org/html/2503.01247v1" title="View HTML" id="html-2503.01247" aria-labelledby="html-2503.01247" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.01247" title="Other formats" id="oth-2503.01247" aria-labelledby="oth-2503.01247">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Existential and positive games: a comonadic and axiomatic view </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Abramsky,+S">Samson Abramsky</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Laure,+T">Thomas Laure</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Reggio,+L">Luca Reggio</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 45 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Logic (math.LO) </div> </div> </dd> <dt> <a name='item3'>[3]</a> <a href ="/abs/2503.01536" title="Abstract" id="2503.01536"> arXiv:2503.01536 </a> [<a href="/pdf/2503.01536" title="Download PDF" id="pdf-2503.01536" aria-labelledby="pdf-2503.01536">pdf</a>, <a href="https://arxiv.org/html/2503.01536v1" title="View HTML" id="html-2503.01536" aria-labelledby="html-2503.01536" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.01536" title="Other formats" id="oth-2503.01536" aria-labelledby="oth-2503.01536">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Sebastiani,+R">Roberto Sebastiani</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item4'>[4]</a> <a href ="/abs/2503.01627" title="Abstract" id="2503.01627"> arXiv:2503.01627 </a> [<a href="/pdf/2503.01627" title="Download PDF" id="pdf-2503.01627" aria-labelledby="pdf-2503.01627">pdf</a>, <a href="https://arxiv.org/html/2503.01627v1" title="View HTML" id="html-2503.01627" aria-labelledby="html-2503.01627" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.01627" title="Other formats" id="oth-2503.01627" aria-labelledby="oth-2503.01627">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Lipparini,+E">Enrico Lipparini</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Hader,+T">Thomas Hader</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Irfan,+A">Ahmed Irfan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Graham-Lengrand,+S">St茅phane Graham-Lengrand</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item5'>[5]</a> <a href ="/abs/2503.02512" title="Abstract" id="2503.02512"> arXiv:2503.02512 </a> [<a href="/pdf/2503.02512" title="Download PDF" id="pdf-2503.02512" aria-labelledby="pdf-2503.02512">pdf</a>, <a href="https://arxiv.org/html/2503.02512v1" title="View HTML" id="html-2503.02512" aria-labelledby="html-2503.02512" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.02512" title="Other formats" id="oth-2503.02512" aria-labelledby="oth-2503.02512">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> LTL Verification of Memoryful Neural Agents </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Hosseini,+M">Mehran Hosseini</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lomuscio,+A">Alessio Lomuscio</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Paoletti,+N">Nicola Paoletti</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 11 pages, 2 figures, accepted at AAMAS 2025 conference </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Multiagent Systems (cs.MA); Symbolic Computation (cs.SC) </div> </div> </dd> <dt> <a name='item6'>[6]</a> <a href ="/abs/2503.02672" title="Abstract" id="2503.02672"> arXiv:2503.02672 </a> [<a href="/pdf/2503.02672" title="Download PDF" id="pdf-2503.02672" aria-labelledby="pdf-2503.02672">pdf</a>, <a href="https://arxiv.org/html/2503.02672v1" title="View HTML" id="html-2503.02672" aria-labelledby="html-2503.02672" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.02672" title="Other formats" id="oth-2503.02672" aria-labelledby="oth-2503.02672">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On describing trees and quasi-trees from their leaves </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Courcelle,+B">Bruno Courcelle</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item7'>[7]</a> <a href ="/abs/2503.02975" title="Abstract" id="2503.02975"> arXiv:2503.02975 </a> [<a href="/pdf/2503.02975" title="Download PDF" id="pdf-2503.02975" aria-labelledby="pdf-2503.02975">pdf</a>, <a href="/format/2503.02975" title="Other formats" id="oth-2503.02975" aria-labelledby="oth-2503.02975">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Proof-Producing Translation of Functional Programs into a Time \& Space Reasonable Model </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Kappelmann,+K">Kevin Kappelmann</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Huch,+F">Fabian Huch</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Stevens,+L">Lukas Stevens</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Abdulaziz,+M">Mohammad Abdulaziz</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item8'>[8]</a> <a href ="/abs/2503.03153" title="Abstract" id="2503.03153"> arXiv:2503.03153 </a> [<a href="/pdf/2503.03153" title="Download PDF" id="pdf-2503.03153" aria-labelledby="pdf-2503.03153">pdf</a>, <a href="https://arxiv.org/html/2503.03153v1" title="View HTML" id="html-2503.03153" aria-labelledby="html-2503.03153" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.03153" title="Other formats" id="oth-2503.03153" aria-labelledby="oth-2503.03153">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Substructural Parametricity </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Aberl%C3%A9,+C">C.B. Aberl茅</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Martens,+C">Chris Martens</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Pfenning,+F">Frank Pfenning</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item9'>[9]</a> <a href ="/abs/2503.04408" title="Abstract" id="2503.04408"> arXiv:2503.04408 </a> [<a href="/pdf/2503.04408" title="Download PDF" id="pdf-2503.04408" aria-labelledby="pdf-2503.04408">pdf</a>, <a href="https://arxiv.org/html/2503.04408v1" title="View HTML" id="html-2503.04408" aria-labelledby="html-2503.04408" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04408" title="Other formats" id="oth-2503.04408" aria-labelledby="oth-2503.04408">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Linearization via Rewriting (Long Version) </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Lago,+U+D">Ugo Dal Lago</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Olimpieri,+F">Federico Olimpieri</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item10'>[10]</a> <a href ="/abs/2503.04512" title="Abstract" id="2503.04512"> arXiv:2503.04512 </a> [<a href="/pdf/2503.04512" title="Download PDF" id="pdf-2503.04512" aria-labelledby="pdf-2503.04512">pdf</a>, <a href="/format/2503.04512" title="Other formats" id="oth-2503.04512" aria-labelledby="oth-2503.04512">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+K+H">Kwing Hei Li</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Aguirre,+A">Alejandro Aguirre</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gregersen,+S+O">Simon Oddershede Gregersen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Haselwarter,+P+G">Philipp G. Haselwarter</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tassarotti,+J">Joseph Tassarotti</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Birkedal,+L">Lars Birkedal</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item11'>[11]</a> <a href ="/abs/2503.04731" title="Abstract" id="2503.04731"> arXiv:2503.04731 </a> [<a href="/pdf/2503.04731" title="Download PDF" id="pdf-2503.04731" aria-labelledby="pdf-2503.04731">pdf</a>, <a href="https://arxiv.org/html/2503.04731v1" title="View HTML" id="html-2503.04731" aria-labelledby="html-2503.04731" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04731" title="Other formats" id="oth-2503.04731" aria-labelledby="oth-2503.04731">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Epistemic Logic Programs: Non-Ground and Counting Complexity </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Eiter,+T">Thomas Eiter</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Fichte,+J+K">Johannes K. Fichte</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Hecher,+M">Markus Hecher</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Woltran,+S">Stefan Woltran</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI); Computational Complexity (cs.CC) </div> </div> </dd> <dt> <a name='item12'>[12]</a> <a href ="/abs/2503.04759" title="Abstract" id="2503.04759"> arXiv:2503.04759 </a> [<a href="/pdf/2503.04759" title="Download PDF" id="pdf-2503.04759" aria-labelledby="pdf-2503.04759">pdf</a>, <a href="https://arxiv.org/html/2503.04759v1" title="View HTML" id="html-2503.04759" aria-labelledby="html-2503.04759" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04759" title="Other formats" id="oth-2503.04759" aria-labelledby="oth-2503.04759">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Games with $蠅$-Automatic Preference Relations </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Bruy%C3%A8re,+V">V茅ronique Bruy猫re</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Grandmont,+C">Christophe Grandmont</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Raskin,+J">Jean-Fran莽ois Raskin</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Computer Science and Game Theory (cs.GT) </div> </div> </dd> <dt> <a name='item13'>[13]</a> <a href ="/abs/2503.04762" title="Abstract" id="2503.04762"> arXiv:2503.04762 </a> [<a href="/pdf/2503.04762" title="Download PDF" id="pdf-2503.04762" aria-labelledby="pdf-2503.04762">pdf</a>, <a href="https://arxiv.org/html/2503.04762v1" title="View HTML" id="html-2503.04762" aria-labelledby="html-2503.04762" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04762" title="Other formats" id="oth-2503.04762" aria-labelledby="oth-2503.04762">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ma,+L">Liqian Ma</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Liu,+Z">Zishun Liu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Yu,+H">Hongzhe Yu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Chen,+Y">Yongxin Chen</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 6 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY) </div> </div> </dd> <dt> <a name='item14'>[14]</a> <a href ="/abs/2503.04763" title="Abstract" id="2503.04763"> arXiv:2503.04763 </a> [<a href="/pdf/2503.04763" title="Download PDF" id="pdf-2503.04763" aria-labelledby="pdf-2503.04763">pdf</a>, <a href="https://arxiv.org/html/2503.04763v1" title="View HTML" id="html-2503.04763" aria-labelledby="html-2503.04763" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04763" title="Other formats" id="oth-2503.04763" aria-labelledby="oth-2503.04763">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Viennot,+J">Jules Viennot</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Baudart,+G">Guillaume Baudart</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Arias,+E+J+G">Emilio Jes霉s Gallego Arias</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lelarge,+M">Marc Lelarge</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item15'>[15]</a> <a href ="/abs/2503.04772" title="Abstract" id="2503.04772"> arXiv:2503.04772 </a> [<a href="/pdf/2503.04772" title="Download PDF" id="pdf-2503.04772" aria-labelledby="pdf-2503.04772">pdf</a>, <a href="https://arxiv.org/html/2503.04772v1" title="View HTML" id="html-2503.04772" aria-labelledby="html-2503.04772" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04772" title="Other formats" id="oth-2503.04772" aria-labelledby="oth-2503.04772">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Yin,+D">David Yin</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gao,+J">Jing Gao</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item16'>[16]</a> <a href ="/abs/2503.04782" title="Abstract" id="2503.04782"> arXiv:2503.04782 </a> [<a href="/pdf/2503.04782" title="Download PDF" id="pdf-2503.04782" aria-labelledby="pdf-2503.04782">pdf</a>, <a href="https://arxiv.org/html/2503.04782v1" title="View HTML" id="html-2503.04782" aria-labelledby="html-2503.04782" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04782" title="Other formats" id="oth-2503.04782" aria-labelledby="oth-2503.04782">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> SMT(LIA) Sampling with High Diversity </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Lai,+Y">Yong Lai</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+J">Junjie Li</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Luo,+C">Chuan Luo</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item17'>[17]</a> <a href ="/abs/2503.05355" title="Abstract" id="2503.05355"> arXiv:2503.05355 </a> [<a href="/pdf/2503.05355" title="Download PDF" id="pdf-2503.05355" aria-labelledby="pdf-2503.05355">pdf</a>, <a href="https://arxiv.org/html/2503.05355v1" title="View HTML" id="html-2503.05355" aria-labelledby="html-2503.05355" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.05355" title="Other formats" id="oth-2503.05355" aria-labelledby="oth-2503.05355">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On the Logical Content of Logic Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Gheorghiu,+A+V">Alexader V. Gheorghiu</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item18'>[18]</a> <a href ="/abs/2503.05779" title="Abstract" id="2503.05779"> arXiv:2503.05779 </a> [<a href="/pdf/2503.05779" title="Download PDF" id="pdf-2503.05779" aria-labelledby="pdf-2503.05779">pdf</a>, <a href="https://arxiv.org/html/2503.05779v1" title="View HTML" id="html-2503.05779" aria-labelledby="html-2503.05779" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.05779" title="Other formats" id="oth-2503.05779" aria-labelledby="oth-2503.05779">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Goertzel,+B">Ben Goertzel</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item19'>[19]</a> <a href ="/abs/2503.05790" title="Abstract" id="2503.05790"> arXiv:2503.05790 </a> [<a href="/pdf/2503.05790" title="Download PDF" id="pdf-2503.05790" aria-labelledby="pdf-2503.05790">pdf</a>, <a href="/format/2503.05790" title="Other formats" id="oth-2503.05790" aria-labelledby="oth-2503.05790">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> 2-Coherent Internal Models of Homotopical Type Theory </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Chen,+J">Joshua Chen</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 43 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Category Theory (math.CT); Logic (math.LO) </div> </div> </dd> <dt> <a name='item20'>[20]</a> <a href ="/abs/2503.05826" title="Abstract" id="2503.05826"> arXiv:2503.05826 </a> [<a href="/pdf/2503.05826" title="Download PDF" id="pdf-2503.05826" aria-labelledby="pdf-2503.05826">pdf</a>, <a href="/format/2503.05826" title="Other formats" id="oth-2503.05826" aria-labelledby="oth-2503.05826">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> The Fertile Steppe: Computability Logic and the decidability of one of its fragments </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Spadoni,+S">Stella Spadoni</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Master's Degree thesis on Logic </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item21'>[21]</a> <a href ="/abs/2503.06036" title="Abstract" id="2503.06036"> arXiv:2503.06036 </a> [<a href="/pdf/2503.06036" title="Download PDF" id="pdf-2503.06036" aria-labelledby="pdf-2503.06036">pdf</a>, <a href="https://arxiv.org/html/2503.06036v1" title="View HTML" id="html-2503.06036" aria-labelledby="html-2503.06036" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.06036" title="Other formats" id="oth-2503.06036" aria-labelledby="oth-2503.06036">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Some Consistent Power Constructions </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Zhou,+C">Chengyu Zhou</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+Q">Qingguo Li</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item22'>[22]</a> <a href ="/abs/2503.07130" title="Abstract" id="2503.07130"> arXiv:2503.07130 </a> [<a href="/pdf/2503.07130" title="Download PDF" id="pdf-2503.07130" aria-labelledby="pdf-2503.07130">pdf</a>, <a href="/format/2503.07130" title="Other formats" id="oth-2503.07130" aria-labelledby="oth-2503.07130">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Observation algebras: Heyting algebra over coherence spaces </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Brunet,+P">Paul Brunet</a> (UPEC - LACL)</div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item23'>[23]</a> <a href ="/abs/2503.08530" title="Abstract" id="2503.08530"> arXiv:2503.08530 </a> [<a href="/pdf/2503.08530" title="Download PDF" id="pdf-2503.08530" aria-labelledby="pdf-2503.08530">pdf</a>, <a href="https://arxiv.org/html/2503.08530v1" title="View HTML" id="html-2503.08530" aria-labelledby="html-2503.08530" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.08530" title="Other formats" id="oth-2503.08530" aria-labelledby="oth-2503.08530">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Probabilistic Choreography Language for PRISM </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Carbone,+M">Marco Carbone</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Veschetti,+A">Adele Veschetti</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item24'>[24]</a> <a href ="/abs/2503.09831" title="Abstract" id="2503.09831"> arXiv:2503.09831 </a> [<a href="/pdf/2503.09831" title="Download PDF" id="pdf-2503.09831" aria-labelledby="pdf-2503.09831">pdf</a>, <a href="https://arxiv.org/html/2503.09831v1" title="View HTML" id="html-2503.09831" aria-labelledby="html-2503.09831" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.09831" title="Other formats" id="oth-2503.09831" aria-labelledby="oth-2503.09831">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Strong normalization through idempotent intersection types: a new syntactical approach </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Barenbaum,+P">Pablo Barenbaum</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Della+Rocca,+S+R">Simona Ronchi Della Rocca</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sottile,+C">Cristian Sottile</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item25'>[25]</a> <a href ="/abs/2503.10353" title="Abstract" id="2503.10353"> arXiv:2503.10353 </a> [<a href="/pdf/2503.10353" title="Download PDF" id="pdf-2503.10353" aria-labelledby="pdf-2503.10353">pdf</a>, <a href="https://arxiv.org/html/2503.10353v1" title="View HTML" id="html-2503.10353" aria-labelledby="html-2503.10353" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.10353" title="Other formats" id="oth-2503.10353" aria-labelledby="oth-2503.10353">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A categorical perspective on constraint satisfaction: The wonderland of adjunctions </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Hadek,+M">Maximilian Hadek</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Jakl,+T">Tom谩拧 Jakl</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Opr%C5%A1al,+J">Jakub Opr拧al</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Category Theory (math.CT) </div> </div> </dd> <dt> <a name='item26'>[26]</a> <a href ="/abs/2503.10819" title="Abstract" id="2503.10819"> arXiv:2503.10819 </a> [<a href="/pdf/2503.10819" title="Download PDF" id="pdf-2503.10819" aria-labelledby="pdf-2503.10819">pdf</a>, <a href="https://arxiv.org/html/2503.10819v1" title="View HTML" id="html-2503.10819" aria-labelledby="html-2503.10819" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.10819" title="Other formats" id="oth-2503.10819" aria-labelledby="oth-2503.10819">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Synthesis with Guided Environments </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Kupferman,+O">Orna Kupferman</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Leshkowitz,+O">Ofer Leshkowitz</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> A preliminary version was published in Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, 2025 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item27'>[27]</a> <a href ="/abs/2503.11475" title="Abstract" id="2503.11475"> arXiv:2503.11475 </a> [<a href="/pdf/2503.11475" title="Download PDF" id="pdf-2503.11475" aria-labelledby="pdf-2503.11475">pdf</a>, <a href="https://arxiv.org/html/2503.11475v1" title="View HTML" id="html-2503.11475" aria-labelledby="html-2503.11475" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.11475" title="Other formats" id="oth-2503.11475" aria-labelledby="oth-2503.11475">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Fishell,+W">William Fishell</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rodriguez,+A">Andoni Rodriguez</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Santolucito,+M">Mark Santolucito</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item28'>[28]</a> <a href ="/abs/2503.11590" title="Abstract" id="2503.11590"> arXiv:2503.11590 </a> [<a href="/pdf/2503.11590" title="Download PDF" id="pdf-2503.11590" aria-labelledby="pdf-2503.11590">pdf</a>, <a href="https://arxiv.org/html/2503.11590v1" title="View HTML" id="html-2503.11590" aria-labelledby="html-2503.11590" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.11590" title="Other formats" id="oth-2503.11590" aria-labelledby="oth-2503.11590">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Structural Liveness of Conservative Petri Nets </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Jan%C4%8Dar,+P">Petr Jan膷ar</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Leroux,+J">J茅r么me Leroux</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Val%C5%AF%C5%A1ek,+J">Ji艡铆 Val暖拧ek</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Extended and modified version of the paper accepted to FoSSaCS 2025 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item29'>[29]</a> <a href ="/abs/2503.12083" title="Abstract" id="2503.12083"> arXiv:2503.12083 </a> [<a href="/pdf/2503.12083" title="Download PDF" id="pdf-2503.12083" aria-labelledby="pdf-2503.12083">pdf</a>, <a href="https://arxiv.org/html/2503.12083v1" title="View HTML" id="html-2503.12083" aria-labelledby="html-2503.12083" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12083" title="Other formats" id="oth-2503.12083" aria-labelledby="oth-2503.12083">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Proof-Driven Clause Learning in Neural Network Verification </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Isac,+O">Omri Isac</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Refaeli,+I">Idan Refaeli</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Wu,+H">Haoze Wu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Barrett,+C">Clark Barrett</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Katz,+G">Guy Katz</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Machine Learning (cs.LG) </div> </div> </dd> <dt> <a name='item30'>[30]</a> <a href ="/abs/2503.12523" title="Abstract" id="2503.12523"> arXiv:2503.12523 </a> [<a href="/pdf/2503.12523" title="Download PDF" id="pdf-2503.12523" aria-labelledby="pdf-2503.12523">pdf</a>, <a href="https://arxiv.org/html/2503.12523v1" title="View HTML" id="html-2503.12523" aria-labelledby="html-2503.12523" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12523" title="Other formats" id="oth-2503.12523" aria-labelledby="oth-2503.12523">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Chrysafis">Chrysafis</a> (Takis)<a href="https://arxiv.org/search/cs?searchtype=author&query=Hartonas">Hartonas</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Logic (math.LO) </div> </div> </dd> <dt> <a name='item31'>[31]</a> <a href ="/abs/2503.13276" title="Abstract" id="2503.13276"> arXiv:2503.13276 </a> [<a href="/pdf/2503.13276" title="Download PDF" id="pdf-2503.13276" aria-labelledby="pdf-2503.13276">pdf</a>, <a href="https://arxiv.org/html/2503.13276v1" title="View HTML" id="html-2503.13276" aria-labelledby="html-2503.13276" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13276" title="Other formats" id="oth-2503.13276" aria-labelledby="oth-2503.13276">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Borzechowski,+M">Manfred Borzechowski</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gattinger,+M">Malvin Gattinger</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Hansen,+H+H">Helle Hvid Hansen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ramanayake,+R">Revantha Ramanayake</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Dalmas,+V+T">Valentina Trucco Dalmas</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Venema,+Y">Yde Venema</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Logic (math.LO) </div> </div> </dd> <dt> <a name='item32'>[32]</a> <a href ="/abs/2503.13678" title="Abstract" id="2503.13678"> arXiv:2503.13678 </a> [<a href="/pdf/2503.13678" title="Download PDF" id="pdf-2503.13678" aria-labelledby="pdf-2503.13678">pdf</a>, <a href="/format/2503.13678" title="Other formats" id="oth-2503.13678" aria-labelledby="oth-2503.13678">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> EGGs are adhesive! </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Biondo,+R">Roberto Biondo</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Castelnovo,+D">Davide Castelnovo</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gadducci,+F">Fabio Gadducci</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Category Theory (math.CT) </div> </div> </dd> <dt> <a name='item33'>[33]</a> <a href ="/abs/2503.13877" title="Abstract" id="2503.13877"> arXiv:2503.13877 </a> [<a href="/pdf/2503.13877" title="Download PDF" id="pdf-2503.13877" aria-labelledby="pdf-2503.13877">pdf</a>, <a href="https://arxiv.org/html/2503.13877v1" title="View HTML" id="html-2503.13877" aria-labelledby="html-2503.13877" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13877" title="Other formats" id="oth-2503.13877" aria-labelledby="oth-2503.13877">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Gorard,+J">Jonathan Gorard</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Hakim,+A">Ammar Hakim</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 13 pages, prepared for submission to ACM </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Numerical Analysis (math.NA); Computational Physics (physics.comp-ph) </div> </div> </dd> <dt> <a name='item34'>[34]</a> <a href ="/abs/2503.14079" title="Abstract" id="2503.14079"> arXiv:2503.14079 </a> [<a href="/pdf/2503.14079" title="Download PDF" id="pdf-2503.14079" aria-labelledby="pdf-2503.14079">pdf</a>, <a href="https://arxiv.org/html/2503.14079v1" title="View HTML" id="html-2503.14079" aria-labelledby="html-2503.14079" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.14079" title="Other formats" id="oth-2503.14079" aria-labelledby="oth-2503.14079">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Testing Uniform Random Samplers: Methods, Datasets and Protocols </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Zeyen,+O">Olivier Zeyen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Cordy,+M">Maxime Cordy</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gubri,+M">Martin Gubri</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Perrouin,+G">Gilles Perrouin</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Acher,+M">Mathieu Acher</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item35'>[35]</a> <a href ="/abs/2503.14135" title="Abstract" id="2503.14135"> arXiv:2503.14135 </a> [<a href="/pdf/2503.14135" title="Download PDF" id="pdf-2503.14135" aria-labelledby="pdf-2503.14135">pdf</a>, <a href="https://arxiv.org/html/2503.14135v1" title="View HTML" id="html-2503.14135" aria-labelledby="html-2503.14135" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.14135" title="Other formats" id="oth-2503.14135" aria-labelledby="oth-2503.14135">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Palmskog,+K">Karl Palmskog</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lindner,+A">Andreas Lindner</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Constable,+S">Scott Constable</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Guanciale,+R">Roberto Guanciale</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Nemati,+H">Hamed Nemati</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 12 pages, 7 figures, 1 table </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item36'>[36]</a> <a href ="/abs/2503.15541" title="Abstract" id="2503.15541"> arXiv:2503.15541 </a> [<a href="/pdf/2503.15541" title="Download PDF" id="pdf-2503.15541" aria-labelledby="pdf-2503.15541">pdf</a>, <a href="https://arxiv.org/html/2503.15541v1" title="View HTML" id="html-2503.15541" aria-labelledby="html-2503.15541" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15541" title="Other formats" id="oth-2503.15541" aria-labelledby="oth-2503.15541">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Komel,+A+P">Anja Petkovi膰 Komel</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rawson,+M">Michael Rawson</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Suda,+M">Martin Suda</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 10 pages main text, 5 pages references and appendix </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item37'>[37]</a> <a href ="/abs/2503.15544" title="Abstract" id="2503.15544"> arXiv:2503.15544 </a> [<a href="/pdf/2503.15544" title="Download PDF" id="pdf-2503.15544" aria-labelledby="pdf-2503.15544">pdf</a>, <a href="https://arxiv.org/html/2503.15544v1" title="View HTML" id="html-2503.15544" aria-labelledby="html-2503.15544" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15544" title="Other formats" id="oth-2503.15544" aria-labelledby="oth-2503.15544">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Logic of Uncertain Interpretation </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Bjorndahl,+A">Adam Bjorndahl</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 10 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item38'>[38]</a> <a href ="/abs/2503.15585" title="Abstract" id="2503.15585"> arXiv:2503.15585 </a> [<a href="/pdf/2503.15585" title="Download PDF" id="pdf-2503.15585" aria-labelledby="pdf-2503.15585">pdf</a>, <a href="/format/2503.15585" title="Other formats" id="oth-2503.15585" aria-labelledby="oth-2503.15585">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Trees in Coalgebra from Generalized Reachability </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Wi%C3%9Fmann,+T">Thorsten Wi脽mann</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kocsis,+B">B谩lint Kocsis</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rot,+J">Jurriaan Rot</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Turkenburg,+R">Ruben Turkenburg</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item39'>[39]</a> <a href ="/abs/2503.15840" title="Abstract" id="2503.15840"> arXiv:2503.15840 </a> [<a href="/pdf/2503.15840" title="Download PDF" id="pdf-2503.15840" aria-labelledby="pdf-2503.15840">pdf</a>, <a href="https://arxiv.org/html/2503.15840v1" title="View HTML" id="html-2503.15840" aria-labelledby="html-2503.15840" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15840" title="Other formats" id="oth-2503.15840" aria-labelledby="oth-2503.15840">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+J">Junle Li</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tian,+M">Meiqi Tian</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhong,+B">Bingzhuo Zhong</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Formal Languages and Automata Theory (cs.FL) </div> </div> </dd> <dt> <a name='item40'>[40]</a> <a href ="/abs/2503.16034" title="Abstract" id="2503.16034"> arXiv:2503.16034 </a> [<a href="/pdf/2503.16034" title="Download PDF" id="pdf-2503.16034" aria-labelledby="pdf-2503.16034">pdf</a>, <a href="https://arxiv.org/html/2503.16034v1" title="View HTML" id="html-2503.16034" aria-labelledby="html-2503.16034" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.16034" title="Other formats" id="oth-2503.16034" aria-labelledby="oth-2503.16034">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Verification and External Parameter Inference for Stochastic World Models </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Calinescu,+R">Radu Calinescu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Yaman,+S+G">Sinem Getir Yaman</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gerasimou,+S">Simos Gerasimou</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=V%C3%A1zquez,+G">Gricel V谩zquez</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Bassett,+M">Micah Bassett</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item41'>[41]</a> <a href ="/abs/2503.00431" title="Abstract" id="2503.00431"> arXiv:2503.00431 </a> (cross-list from eess.SY) [<a href="/pdf/2503.00431" title="Download PDF" id="pdf-2503.00431" aria-labelledby="pdf-2503.00431">pdf</a>, <a href="/format/2503.00431" title="Other formats" id="oth-2503.00431" aria-labelledby="oth-2503.00431">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version) </div> <div class='list-authors'><a href="https://arxiv.org/search/eess?searchtype=author&query=Hsieh,+C">Chiao Hsieh</a> (1), <a href="https://arxiv.org/search/eess?searchtype=author&query=Waga,+M">Masaki Waga</a> (1), <a href="https://arxiv.org/search/eess?searchtype=author&query=Suenaga,+K">Kohei Suenaga</a> (1) ((1) Kyoto University)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 30 pages, 3 figures. This is the extended version of the same paper accepted by the International Conference on Hybrid Systems: Computation and Control (HSCC) 2025 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Systems and Control (eess.SY)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item42'>[42]</a> <a href ="/abs/2503.00788" title="Abstract" id="2503.00788"> arXiv:2503.00788 </a> (cross-list from cs.GT) [<a href="/pdf/2503.00788" title="Download PDF" id="pdf-2503.00788" aria-labelledby="pdf-2503.00788">pdf</a>, <a href="https://arxiv.org/html/2503.00788v1" title="View HTML" id="html-2503.00788" aria-labelledby="html-2503.00788" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.00788" title="Other formats" id="oth-2503.00788" aria-labelledby="oth-2503.00788">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ajdar%C3%B3w,+M">Michal Ajdar贸w</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Main,+J+C+A">James C. A. Main</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Novotn%C3%BD,+P">Petr Novotn媒</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Randour,+M">Mickael Randour</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 55 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Computer Science and Game Theory (cs.GT)</span>; Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Probability (math.PR) </div> </div> </dd> <dt> <a name='item43'>[43]</a> <a href ="/abs/2503.00959" title="Abstract" id="2503.00959"> arXiv:2503.00959 </a> (cross-list from math.NT) [<a href="/pdf/2503.00959" title="Download PDF" id="pdf-2503.00959" aria-labelledby="pdf-2503.00959">pdf</a>, <a href="https://arxiv.org/html/2503.00959v2" title="View HTML" id="html-2503.00959" aria-labelledby="html-2503.00959" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.00959" title="Other formats" id="oth-2503.00959" aria-labelledby="oth-2503.00959">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Formalizing zeta and L-functions in Lean </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Loeffler,+D">David Loeffler</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Stoll,+M">Michael Stoll</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 7 pages; corrects some typos, broken links, etc, and adds/corrects references to some forthcoming works </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Number Theory (math.NT)</span>; Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item44'>[44]</a> <a href ="/abs/2503.01009" title="Abstract" id="2503.01009"> arXiv:2503.01009 </a> (cross-list from cs.AI) [<a href="/pdf/2503.01009" title="Download PDF" id="pdf-2503.01009" aria-labelledby="pdf-2503.01009">pdf</a>, <a href="https://arxiv.org/html/2503.01009v1" title="View HTML" id="html-2503.01009" aria-labelledby="html-2503.01009" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.01009" title="Other formats" id="oth-2503.01009" aria-labelledby="oth-2503.01009">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> An Exact Solver for Satisfiability Modulo Counting with Probabilistic Circuits </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+J">Jinzhao Li</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Jiang,+N">Nan Jiang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Xue,+Y">Yexiang Xue</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item45'>[45]</a> <a href ="/abs/2503.01389" title="Abstract" id="2503.01389"> arXiv:2503.01389 </a> (cross-list from cs.AI) [<a href="/pdf/2503.01389" title="Download PDF" id="pdf-2503.01389" aria-labelledby="pdf-2503.01389">pdf</a>, <a href="https://arxiv.org/html/2503.01389v1" title="View HTML" id="html-2503.01389" aria-labelledby="html-2503.01389" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.01389" title="Other formats" id="oth-2503.01389" aria-labelledby="oth-2503.01389">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Learning Conjecturing from Scratch </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Gauthier,+T">Thibault Gauthier</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Urban,+J">Josef Urban</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC) </div> </div> </dd> <dt> <a name='item46'>[46]</a> <a href ="/abs/2503.02477" title="Abstract" id="2503.02477"> arXiv:2503.02477 </a> (cross-list from math.CT) [<a href="/pdf/2503.02477" title="Download PDF" id="pdf-2503.02477" aria-labelledby="pdf-2503.02477">pdf</a>, <a href="/format/2503.02477" title="Other formats" id="oth-2503.02477" aria-labelledby="oth-2503.02477">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Random Variables, Conditional Independence and Categories of Abstract Sample Spaces </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Stein,+D">Dario Stein</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Category Theory (math.CT)</span>; Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Probability (math.PR) </div> </div> </dd> <dt> <a name='item47'>[47]</a> <a href ="/abs/2503.02768" title="Abstract" id="2503.02768"> arXiv:2503.02768 </a> (cross-list from cs.PL) [<a href="/pdf/2503.02768" title="Download PDF" id="pdf-2503.02768" aria-labelledby="pdf-2503.02768">pdf</a>, <a href="/format/2503.02768" title="Other formats" id="oth-2503.02768" aria-labelledby="oth-2503.02768">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Denotational Semantics for Probabilistic and Concurrent Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Zilberstein,+N">Noam Zilberstein</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gorla,+D">Daniele Gorla</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Silva,+A">Alexandra Silva</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item48'>[48]</a> <a href ="/abs/2503.02924" title="Abstract" id="2503.02924"> arXiv:2503.02924 </a> (cross-list from cs.RO) [<a href="/pdf/2503.02924" title="Download PDF" id="pdf-2503.02924" aria-labelledby="pdf-2503.02924">pdf</a>, <a href="https://arxiv.org/html/2503.02924v1" title="View HTML" id="html-2503.02924" aria-labelledby="html-2503.02924" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.02924" title="Other formats" id="oth-2503.02924" aria-labelledby="oth-2503.02924">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Diverse Controllable Diffusion Policy with Signal Temporal Logic </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Meng,+Y">Yue Meng</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=fan,+C">Chuchu fan</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Accepted by IEEE Robotics and Automation Letters (RA-L), October 2024 </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> IEEE Robotics and Automation Letters, vol. 9, no. 10, pp. 8354-8361, Oct. 2024 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Robotics (cs.RO)</span>; Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item49'>[49]</a> <a href ="/abs/2503.03551" title="Abstract" id="2503.03551"> arXiv:2503.03551 </a> (cross-list from math.LO) [<a href="/pdf/2503.03551" title="Download PDF" id="pdf-2503.03551" aria-labelledby="pdf-2503.03551">pdf</a>, <a href="https://arxiv.org/html/2503.03551v1" title="View HTML" id="html-2503.03551" aria-labelledby="html-2503.03551" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.03551" title="Other formats" id="oth-2503.03551" aria-labelledby="oth-2503.03551">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Zhuk's bridges, centralizers, and similarity </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Willard,+R">Ross Willard</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 26 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item50'>[50]</a> <a href ="/abs/2503.04430" title="Abstract" id="2503.04430"> arXiv:2503.04430 </a> (cross-list from math.LO) [<a href="/pdf/2503.04430" title="Download PDF" id="pdf-2503.04430" aria-labelledby="pdf-2503.04430">pdf</a>, <a href="https://arxiv.org/html/2503.04430v1" title="View HTML" id="html-2503.04430" aria-labelledby="html-2503.04430" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04430" title="Other formats" id="oth-2503.04430" aria-labelledby="oth-2503.04430">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Boolean Algebras as Clones </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=De+Faveri,+A">Arturo De Faveri</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> </dl> <div class='paging'>Total of 77 entries : <span>1-50</span> <a href=/list/cs.LO/current?skip=50&show=50>51-77</a> </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.LO/current?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <a href=/list/cs.LO/current?skip=0&show=2000 rel="nofollow"> all</a> </div> </div> </div> </div> </main> <footer style="clear: both;"> <div class="columns is-desktop" role="navigation" aria-label="Secondary" style="margin: -0.75em -0.75em 0.75em -0.75em">  <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/about">About</a></li> <li><a href="https://info.arxiv.org/help">Help</a></li> </ul> </div> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>contact arXiv</title><desc>Click here to contact arXiv</desc><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg> <a href="https://info.arxiv.org/help/contact.html"> Contact</a> </li> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>subscribe to arXiv mailings</title><desc>Click here to subscribe</desc><path d="M476 3.2L12.5 270.6c-18.1 10.4-15.8 35.6 2.2 43.2L121 358.4l287.3-253.2c5.5-4.9 13.3 2.6 8.6 8.3L176 407v80.5c0 23.6 28.5 32.9 42.5 15.8L282 426l124.6 52.2c14.2 6 30.4-2.9 33-18.2l72-432C515 7.8 493.3-6.8 476 3.2z"/></svg> <a href="https://info.arxiv.org/help/subscribe"> Subscribe</a> </li> </ul> </div> </div> </div>   <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/license/index.html">Copyright</a></li> <li><a href="https://info.arxiv.org/help/policies/privacy_policy.html">Privacy Policy</a></li> </ul> </div> <div class="column sorry-app-links"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/web_accessibility.html">Web Accessibility Assistance</a></li> <li> <p class="help"> <a class="a11y-main-link" href="https://status.arxiv.org" target="_blank">arXiv Operational Status <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 256 512" class="icon filter-dark_grey" role="presentation"><path d="M224.3 273l-136 136c-9.4 9.4-24.6 9.4-33.9 0l-22.6-22.6c-9.4-9.4-9.4-24.6 0-33.9l96.4-96.4-96.4-96.4c-9.4-9.4-9.4-24.6 0-33.9L54.3 103c9.4-9.4 24.6-9.4 33.9 0l136 136c9.5 9.4 9.5 24.6.1 34z"/></svg></a><br> Get status notifications via <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/email/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg>email</a> or <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/slack/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-black" role="presentation"><path d="M94.12 315.1c0 25.9-21.16 47.06-47.06 47.06S0 341 0 315.1c0-25.9 21.16-47.06 47.06-47.06h47.06v47.06zm23.72 0c0-25.9 21.16-47.06 47.06-47.06s47.06 21.16 47.06 47.06v117.84c0 25.9-21.16 47.06-47.06 47.06s-47.06-21.16-47.06-47.06V315.1zm47.06-188.98c-25.9 0-47.06-21.16-47.06-47.06S139 32 164.9 32s47.06 21.16 47.06 47.06v47.06H164.9zm0 23.72c25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06H47.06C21.16 243.96 0 222.8 0 196.9s21.16-47.06 47.06-47.06H164.9zm188.98 47.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06h-47.06V196.9zm-23.72 0c0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06V79.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06V196.9zM283.1 385.88c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06v-47.06h47.06zm0-23.72c-25.9 0-47.06-21.16-47.06-47.06 0-25.9 21.16-47.06 47.06-47.06h117.84c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06H283.1z"/></svg>slack</a> </p> </li> </ul> </div> </div> </div>   </div> </footer> </div> <script src="/static/base/1.0.1/js/member_acknowledgement.js"></script> </body> </html>

CINXE.COM

Logic in Computer Science Mar 2025