Yll Buzoku

According to our database, Yll Buzoku authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Base-extension Semantics for Intuitionistic Modal Logics.

Yll Buzoku, David J. Pym

CoRR, July, 2025

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial.

Alexander V. Gheorghiu, Yll Buzoku

CoRR, March, 2025

Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract).

Yll Buzoku, David J. Pym

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

2024

A Proof-theoretic Semantics for Intuitionistic Linear Logic.

Yll Buzoku

CoRR, 2024