From Paradox to Truth: An Introduction to Self-reference in Formal Language

von Leigh, Graham E.
Veröffentlicht in TbiLLC (13. : 2019 : Batumi) Language, logic, and computation (2022)

Lyndon Interpolation for Modal u-Calculus

von Afshari, Bahareh
Veröffentlicht in TbiLLC (13. : 2019 : Batumi) Language, logic, and computation (2022)

Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus

von Afshari, Bahareh
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

III-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic

von Afshari, Bahareh
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)