Ghent University Academic Bibliography

Your filters: cql: parent exact "JOURNAL OF LOGIC AND COMPUTATION"

Add to list
☐ and ◇ in eight-valued non-deterministic semantics for modal logics

Pawel Pawlowski (UGent) and Daniel Skurt

(2025) JOURNAL OF LOGIC AND COMPUTATION. 35(2).
Add to list
A Gödel-Dugundji-style theorem for the minimal structural logic

Pawel Pawlowski (UGent) , Thomas M. Ferguson and Ethan Gertler

(2025) JOURNAL OF LOGIC AND COMPUTATION. 35(3).
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. 34(6). p.1159-1171
Add to list
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
- open access
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
- open access
Noetherian Gödel logics

J. P. Aguilera (UGent) , Jan Bydžovský and David Fernández-Duque (UGent)

(2022) JOURNAL OF LOGIC AND COMPUTATION. 32(8). p.1487-1503
Add to list
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
Feedback hyperjump

J. P. Aguilera (UGent) and Robert S. Lubarsky

(2021) JOURNAL OF LOGIC AND COMPUTATION. 31(1). p.20-39
Add to list
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
Add to list
Coarse deontic logic

Frederik Van De Putte (UGent)

(2019) JOURNAL OF LOGIC AND COMPUTATION. 29(2). p.285-317

Academic Bibliography

☐ and ◇ in eight-valued non-deterministic semantics for modal logics

A Gödel-Dugundji-style theorem for the minimal structural logic

There are no minimal essentially undecidable theories

Modular non-deterministic semantics for T, TB, S4, S5 and more

Arithmetical and hyperarithmetical worm battles

Noetherian Gödel logics

Classical term-modal logics

Feedback hyperjump

Multi-dimensional interpretations of Presburger arithmetic in itself

Coarse deontic logic

Contents

Support

Contact