1.8k citations
- Centre National de la Recherche ScientifiqueFR220 papers
- University of ViennaAT158 papers
- Charles UniversityCZ150 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR147 papers
- European Organization for Nuclear ResearchCH144 papers
- Université Paris-SaclayFR135 papers
- Institute of High Energy PhysicsCN134 papers
- CEA Paris-SaclayFR130 papers
- University of BolognaIT125 papers
- Centro de Investigaciones Energéticas, Medioambientales y TecnológicasES124 papers
- ETH ZurichCH121 papers
- Helsinki Institute of PhysicsFI120 papers
9 papers · 2 filters
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche +5
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuiti…
Deontic Paradoxes in ASP with Weak Constraints
Christian Hatschka, Agata Ciabattoni, Thomas Eiter
The rise of powerful AI technology for a range of applications that are sensitive to legal, social, and ethical norms demands decision-making support in presence of norms and regul…
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
We introduce a Gentzen-style framework, called layered sequent calculi, for modal logic K5 and its extensions KD5, K45, KD45, KB5, and S5 with the goal to investigate the uniform L…
Full LTL Synthesis over Infinite-state Arenas
Shaun Azzopardi, Luca Di Stefano, Nir Piterman +1
Recently, interest has increased in applying reactive synthesis to richer-than-Boolean domains. A major (undecidable) challenge in this area is to establish when certain repeating…
SMT Solving over Finite Field Arithmetic
Thomas Hader, Daniela Kaufmann, Laura Kovács
Non-linear polynomial systems over finite fields are used to model functional behavior of cryptosystems, with applications in system security, computer cryptography, and post-quant…
Logic-based similarity
Christian Antić
This paper develops a {\em qualitative} and logic-based notion of similarity from the ground up using only elementary concepts of first-order logic centered around the fundamental…