Ghent University Academic Bibliography

Your filters: cql: jcr.category exact "LOGIC"

Add to list
- Journal Article
- A1
- open access
The Löwenheim-Skolem theorem for Gödel logic

J. P. Aguilera (UGent)

(2023) ANNALS OF PURE AND APPLIED LOGIC. 174(4).
Add to list
Reducing ω-model reflection to iterated syntactic reflection

Fedor Pakhomov (UGent) and James Walsh

(2023) JOURNAL OF MATHEMATICAL LOGIC. 23(2).
Add to list
- Miscellaneous
- open access
Reducing omega-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)

Fedor Pakhomov (UGent) and James Walsh

(2023) JOURNAL OF MATHEMATICAL LOGIC. 23(03).
Add to list
Logic of informal provability with truth values

Pawel Pawlowski (UGent) and Rafal Urbaniak (UGent)

(2023) LOGIC JOURNAL OF THE IGPL. 31(1). p.172-193
Add to list
The number of axioms

J. P. Aguilera (UGent) , M. Baaz and J. Bydžovský

(2022) ANNALS OF PURE AND APPLIED LOGIC. 173(5).
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
- Journal Article
- A1
- open access
Neighbourhood canonicity for EK, ECK, and relatives : a constructive proof

Frederik Van De Putte (UGent) and Paul McNamara

(2022) REVIEW OF SYMBOLIC LOGIC. 15(3). p.607-623
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
Complete intuitionistic temporal logics for topological dynamics

Joseph Boudou, Martin Diéguez and David Fernández-Duque (UGent)

(2022) JOURNAL OF SYMBOLIC LOGIC. 87(3). p.995-1022
Add to list
- Journal Article
- A1
- open access
Pooling modalities and pointwise intersection : axiomatization and decidability

Frederik Van De Putte (UGent) and Dominik Klein

(2021) STUDIA LOGICA. 109(1). p.47-93

Academic Bibliography

The Löwenheim-Skolem theorem for Gödel logic

Reducing ω-model reflection to iterated syntactic reflection

Reducing omega-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)

Logic of informal provability with truth values

The number of axioms

Arithmetical and hyperarithmetical worm battles

Neighbourhood canonicity for EK, ECK, and relatives : a constructive proof

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

Complete intuitionistic temporal logics for topological dynamics

Pooling modalities and pointwise intersection : axiomatization and decidability

Contents

Support

Contact