Ghent University Academic Bibliography

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
☐ and ◇ in eight-valued non-deterministic semantics for modal logics

Pawel Pawlowski (UGent) and Daniel Skurt

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

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

(2024) JOURNAL OF LOGIC AND COMPUTATION.
Add to list
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
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
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
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
Add to list
Structured argumentation with prioritized conditional obligations and permissions

Mathieu Beirlaen (UGent) , Jesse Heyninck and Christian Strasser (UGent)

(2019) JOURNAL OF LOGIC AND COMPUTATION. 29(2). p.187-214
Add to list
- Journal Article
- A1
- open access
Complete representation by partial functions for composition, intersection and anti-domain

Brett McLean (UGent)

(2017) JOURNAL OF LOGIC AND COMPUTATION. 27(4). p.1143-1156

Academic Bibliography

There are no minimal essentially undecidable theories

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

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

Arithmetical and hyperarithmetical worm battles

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

Classical term-modal logics

Multi-dimensional interpretations of Presburger arithmetic in itself

Coarse deontic logic

Structured argumentation with prioritized conditional obligations and permissions

Complete representation by partial functions for composition, intersection and anti-domain

Contents

Support

Contact