search result

Cover von A Tour on Ecumenical Systems (Invited Talk)

A Tour on Ecumenical Systems (Invited Talk)

Year: 2023
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 252, CSL 2023, Complete Volume

LIPIcs, Volume 252, CSL 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 31st EACSL Annual Conference on Computer Science Logic
CSL 2023 : February 13 - 16, 2023, Warsaw, Poland
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 252
Media group: LIPIcs
Cover von Separability and harmony in ecumenical systems
acepted to the Journal of Logic and Computation
Search for this author
Year: 2025
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Process-As-Formula Interpretation

Process-As-Formula Interpretation

A Substructural Multimodal View (Invited Talk)
Year: 2021
Media group: LIPIcs
Cover von A Sequent Calculus Perspective on Base-Extension Semantics
article in "Automated Reasoning with Analytic Tableaux and Related Methods" (TABLEAUX 2025)
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 15980 article
Media group: ARTICLE
Cover von The Modal Cube Revisited
Semantics Without Worlds : article in "Automated Reasoning with Analytic Tableaux and Related Methods" (TABLEAUX 2025)
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 15980 article
Media group: ARTICLE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2025
Media group: LIPIcs
Cover von LIPIcs, Volume 327, STACS 2025, Complete Volume

LIPIcs, Volume 327, STACS 2025, Complete Volume

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0