Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents

von Lyon, Tim
Veröffentlicht in LFCS (2020 : Deerfield Beach, Fla.) Logical Foundations of Computer Science (2020)

On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems

von Lyon, Tim
Veröffentlicht in LFCS (2020 : Deerfield Beach, Fla.) Logical Foundations of Computer Science (2020)

A Framework for Intuitionistic Grammar Logics

von Lyon, Tim S.
Veröffentlicht in CLAR (4. : 2021 : Hangzhou) Logic and Argumentation (2021)

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

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

Nested Sequents for Quantified Modal Logics

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

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

von Lyon, Tim S.
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.

von Berkel, Kees van
Veröffentlicht in CLAR (3. : 2020 : Hangzhou) Logic and Argumentation (2020)