Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

De bewijs en modeltheorie van intuïtionistische temporele logica

Output en outcomes

Publicaties

A walk with Goodstein and Ackermann

David Fernández-DuqueAndreas Weiermann

A1 Artikel in een tijdschrift in NOTRE DAME JOURNAL OF FORMAL LOGIC

Functorial fast-growing hierarchies

Juan P. AguileraFedor PakhomovAndreas Weiermann

A1 Artikel in een tijdschrift in FORUM OF MATHEMATICS SIGMA

A family of decidable bi-intuitionistic modal logics

David Fernández-DuqueBrett McLeanLukas Zenger

Some independence results related to finite trees

Harvey Martin FriedmanAndreas Weiermann

A1 Artikel in een tijdschrift in PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

Complete intuitionistic temporal logics for topological dynamics

Joseph BoudouMartin DiéguezDavid Fernández-Duque

A1 Artikel in een tijdschrift in JOURNAL OF SYMBOLIC LOGIC

Minimal bad sequences are necessary for a uniform Kruskal theorem

Anton FreundMichael RathjenAndreas Weiermann

A1 Artikel in een tijdschrift in ADVANCES IN MATHEMATICS

Boundedness theorems for flowers and sharps

J. P. AguileraAnton FreundMichael RathjenAndreas Weiermann

A1 Artikel in een tijdschrift in PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY

Exploring the jungle of intuitionistic temporal logics

Joseph BoudouMartin DiéguezDavid Fernández-DuquePhilip Kremer

A1 Artikel in een tijdschrift in THEORY AND PRACTICE OF LOGIC PROGRAMMING

Bisimulations for intuitionistic temporal logics

Philippe BalbianiJoseph BoudouMartin DieguezDavid Fernández-Duque

A2 Artikel in een tijdschrift in JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR