Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: keyword exact "sequent calculi" Add to list Journal Article A2 Height of valuations in non-deterministic semantics for modal logic Pawel Pawlowski (UGent) (2023) JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. 10(4). p.587-601 Add to list Conference Paper P1 open access Dynamic derivations for sequent-based logical argumentation Ofer Arieli and Christian Strasser (UGent) (2014) COMPUTATIONAL MODELS OF ARGUMENT. In Frontiers in Artificial Intelligence and Applications 266. p.89-100