Show 5 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: parent exact "JOURNAL OF LOGIC AND COMPUTATION" Add to list Journal Article A1 open access There are no minimal essentially undecidable theories Juvenal Murwanashyaka, Fedor Pakhomov (UGent) and Albert Visser (2024) JOURNAL OF LOGIC AND COMPUTATION. Add to list Journal Article A1 Modular non-deterministic semantics for T, TB, S4, S5 and more Pawel Pawlowski (UGent) and Elio La Rosa (2022) JOURNAL OF LOGIC AND COMPUTATION. 32(1). p.158-171 Add to list Journal Article A1 Arithmetical and hyperarithmetical worm battles David Fernández-Duque (UGent) , Joost J Joosten, Fedor Pakhomov (UGent) , Konstantinos Papafilippou (UGent) and Andreas Weiermann (UGent) (2022) JOURNAL OF LOGIC AND COMPUTATION. 32(8). p.1558-1584 Add to list Journal Article A1 Classical term-modal logics Stef Frijters and Frederik Van De Putte (UGent) (2021) JOURNAL OF LOGIC AND COMPUTATION. 31(4). p.1026-1054 Add to list Journal Article A1 Multi-dimensional interpretations of Presburger arithmetic in itself Fedor Pakhomov (UGent) and Alexander Zapryagaev (2020) JOURNAL OF LOGIC AND COMPUTATION. 30(8). p.1681-1693 1 2 3 4 5 Next →