Keyword:logic

Publications
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic (Extended Version) Johannes Schoisswohl, Laura Kovács and Konstantin Korovin EasyChair Preprint 13150
Irrelevant Explanations: a Logical Formalization and a Case Study Simona Colucci, Francesco M Donini, Tommaso Di Noia, Claudio Pomo and Eugenio Di Sciascio EasyChair Preprint 13141
A Chat with Bard Geoff Sutcliffe, Jack McKeown and Alexander Steen EasyChair Preprint 10329
Invited Paper: Opportunities of Chip Power Integrity and Performance Improvement Through Wafer Backside (BS) Connection Rongmei Chen, Giuliano Sisto, Odysseas Zografos, Dragomir Milojevic, Pieter Weckx, Geert Van der Plas and Eric Beyne EasyChair Preprint 9239
Cracking the Stateful Nut -- Computational Proofs of Stateful Security Protocols Using the Squirrel Proof Assistant David Baelde, Stephanie Delaune, Adrien Koutsos and Solène Moreau EasyChair Preprint 8631
Logic for CS Undergraduates: a Sketch Dennis Hamilton EasyChair Preprint 8622
Undergraduate Logic Teaching in Computing: Why, What, How? Roger Villemaire EasyChair Preprint 8616
New Languages of Abstract Automata Mark Burgin EasyChair Preprint 7718
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Marking Solvable Variables Murat Sinan Aygün EasyChair Preprint 6339
Syntactic Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint 6194
Theorem Proving of Enactment Model Composites with Appiah-Kleene Axiomatic Expressions (Eel Proof) Frank Appiah EasyChair Preprint 6193
Axiomatical Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint 6192
The Mapping of the Logical Structure, Enact to the Engagement Structure of Enact. Frank Appiah EasyChair Preprint 6187
Semantic Computation of the Propositional Model Composites in Enactment Logic. Frank Appiah EasyChair Preprint 6186
Three-Valued Paraconsistent Logics with Subclassical Negation and Their Extensions Alexej Pynko EasyChair Preprint 5564
Minimally Many-Valued Maximally Paraconsistent Minimal Unary Subclassical Expansions of LP Alexej Pynko EasyChair Preprint 5358
Structural Completeness of Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint 5171
Self-Extensionality of Finitely-Valued Logics Alexej Pynko EasyChair Preprint 4928
Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint 4814
Extensions of Three-Valued Paraconsistent Logics Alexej Pynko EasyChair Preprint 4639
An Intelligent Board of Security Countermeasure Cases in Prolog. Frank Appiah EasyChair Preprint 4496
Semantics of Sequent Calculi with Basic Structural Rules: Fuzziness Versus Non-Multiplicativity Alexej Pynko EasyChair Preprint 4153
Miscellaneous Extensions of Four-Valued Expansions of Belnap's Logic Alexej Pynko EasyChair Preprint 4078
Finite Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant Alexej Pynko EasyChair Preprint 4059
Subprevarieties of Algebraic Systems Versus Extensions of Logics: Application to Some Many-Valued Logics Alexej Pynko EasyChair Preprint 3942
God, Logic, and Quantum Information Vasil Penchev EasyChair Preprint 3477
Four-Valued Expansions of Belnap's Logic: Inheriting Basic Peculiarities Alexej Pynko EasyChair Preprint 3118
On SMT Theory Design: The Case of Sequences Hichem Rami Ait El Hara, François Bobot and Guillaume Bury In:LPAR 2024 Complementary Volume
A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic Alexander Victor Gheorghiu In:LPAR 2024 Complementary Volume
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties Jan Tušil, Traian Serbanuta and Jan Obdrzalek In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
MetTeL<sup>2</sup>: Towards a Tableau Prover Generation Platform Dmitry Tishkovsky, Renate A. Schmidt and Mohammad Khodadadi In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Turing's Influence on Programming Edgar G. Daylight In:Turing-100. The Alan Turing Centenary
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer Shuling Wang and Xu Wang In:VERIFY-2010. 6th International Verification Workshop