|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Tesi, Matteo | Constructive theories through a modal lens | Presentation Vortrag | 15-Feb-2024 |
| 2 | | Tesi, Matteo | Subintuitionistic logics and their modal companions: a nested approach | Presentation Vortrag | 18-Jan-2024 |
| 3 | | Fermüller, Christian | Games in Logic | Presentation Vortrag | 15-Jan-2024 |
| 4 | | Dik, Josephine Femke | Permission in Deontic Logic: from Sanskrit Philosophy to AI | Presentation Vortrag | 15-Jan-2024 |
| 5 | | di Angelo, Monika ; Salzer, Gernot | Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts | Inproceedings Konferenzbeitrag  | 5-Dec-2023 |
| 6 | | Ciabattoni, Agata ; Rozplokhas, Dmitrii | Streamlining Input/Output Logics with Sequent Calculi | Inproceedings Konferenzbeitrag | 12-Nov-2023 |
| 7 | | Monika di Angelo ; Durieux, Thomas ; Ferreira João F. ; Gernot Salzer | SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts | Inproceedings Konferenzbeitrag | 8-Nov-2023 |
| 8 | | Dik, Josephine Femke | Exploring preferenced permissions: From Sanskrit Philosophy to AI | Presentation Vortrag | 30-Oct-2023 |
| 9 | | Fermüller, Christian | Judgment Aggregation with Graded Deontic Logics | Presentation Vortrag | 28-Oct-2023 |
| 10 | | Parent, Xavier | Nonstandard betterness and conditional obligation | Presentation Vortrag | 27-Sep-2023 |
| 11 | | Fermüller, Christian ; Freiman, Robert ; Lang, Timo Achim | Game Models of Producer-Consumer Interactions and Substructural Sequent Systems | Presentation Vortrag | 27-Sep-2023 |
| 12 | | Freiman, Robert ; Bernreiter, Michael | Truth and Preferences - A Game Approach for Qualitative Choice Logic | Inproceedings Konferenzbeitrag | 24-Sep-2023 |
| 13 | | Freiman, Robert ; Bernreiter, Michael | Truth and Preferences - A Game Approach for Choice Logics | Presentation Vortrag | 14-Sep-2023 |
| 14 | | Alhazov, Artiom ; Ferrari-Dominguez, Vincent ; Freund, Rudolf ; Glade, Nicolas ; Ivanov, Sergiu | A P systems variant for reasoning about sequential controllability of Boolean networks | Article Artikel | 29-Aug-2023 |
| 15 | | Pichler, Dominik ; Parent, Xavier | Perspectival obligation and extensionality in an alethic-deontic setting | Inproceedings Konferenzbeitrag | 28-Aug-2023 |
| 16 | | Ciabattoni, Agata ; Dik, Josephine Femke ; Freschi Elisa | Disambiguating Permissions: A Contribution from Mimamsa | Inproceedings Konferenzbeitrag | 28-Aug-2023 |
| 17 | | Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier ; Ramanayake, Don Revantha Shiyan ; Rozplokhas, Dmitrii | Analytic Proof Theory for Aqvist's System F | Inproceedings Konferenzbeitrag | 28-Aug-2023 |
| 18 | | Fermüller, Christian G. | Logic and Implication – An Introduction to the General Algebraic Study of Non-classical Logics, Petr Cintula, Carles Noguera , in: Trends in Logic, vol. 57, Springer (2021), 465 p., €120.99 for hardcover, ISBN: 978-3-030-85675-5 | Special Contribution Spezialbeitrag | 15-Aug-2023 |
| 19 | | Freiman, Robert ; Bernreiter, Michael | Validity in Choice Logics - A Game-Theoretic Investigation | Inproceedings Konferenzbeitrag | Jul-2023 |
| 20 | | Dik, Josephine Femke | Disambiguating Permissions: A Contribution from Mimamsa | Presentation Vortrag | 23-Jun-2023 |
