Ghent University Academic Bibliography

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

Add to list
- Journal Article
- A1
- open access
Distributed subweb specifications for traversing the web

Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman (UGent) and Ruben Verborgh (UGent)

(2024) THEORY AND PRACTICE OF LOGIC PROGRAMMING. 24(2). p.394-420
Add to list
- Journal Article
- A1
- open access
The baire closure and its logic

G. Bezhanishvili and David Fernández-Duque (UGent)

(2024) JOURNAL OF SYMBOLIC LOGIC. 89(1). p.27-49
Add to list
- Journal Article
- A1
- open access
Preservation theorems for Tarski's relation algebra

Bart Bogaerts, Balder ten Cate, Brett McLean (UGent) and Jan Van den Bussche

(2024) LOGICAL METHODS IN COMPUTER SCIENCE. 20(3). p.20:1-20:17
Add to list
- Journal Article
- A1
- open access
A walk with Goodstein

David Fernández-Duque (UGent) and Andreas Weiermann (UGent)

(2024) BULLETIN OF SYMBOLIC LOGIC. 30(1). p.1-19
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
- Journal Article
- A1
- open access
(Extra)ordinary equivalences with the ascending/descending sequence principle

Marta Fiori-Carones, Alberto Marcone, Paul Shafer (UGent) and Giovanni Solda (UGent)

(2024) JOURNAL OF SYMBOLIC LOGIC. 89(1). p.262-307
Add to list
- Journal Article
- A1
- open access
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

David Fernández-Duque (UGent) and Andreas Weiermann (UGent)

(2024) ANNALS OF PURE AND APPLIED LOGIC. 175(8).
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
- Journal Article
- A1
- open access
Algebraic properties of the first-order part of a problem

Giovanni Solda (UGent) and Manlio Valenti

(2023) ANNALS OF PURE AND APPLIED LOGIC. 174(7).
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).

Academic Bibliography

Distributed subweb specifications for traversing the web

The baire closure and its logic

Preservation theorems for Tarski's relation algebra

A walk with Goodstein

There are no minimal essentially undecidable theories

(Extra)ordinary equivalences with the ascending/descending sequence principle

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

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

Algebraic properties of the first-order part of a problem

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

Contents

Support

Contact