Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Proof and Model Theory of Intuitionistic Temporal Logic

Outputs and Outcomes

Publications

A walk with Goodstein and Ackermann

David Fernández-DuqueAndreas Weiermann

A1 Journal Article in NOTRE DAME JOURNAL OF FORMAL LOGIC

Functorial fast-growing hierarchies

Juan P. AguileraFedor PakhomovAndreas Weiermann

A1 Journal Article 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 Journal Article 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 Journal Article in JOURNAL OF SYMBOLIC LOGIC

Minimal bad sequences are necessary for a uniform Kruskal theorem

Anton FreundMichael RathjenAndreas Weiermann

A1 Journal Article in ADVANCES IN MATHEMATICS

Boundedness theorems for flowers and sharps

J. P. AguileraAnton FreundMichael RathjenAndreas Weiermann

A1 Journal Article in PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY

Exploring the jungle of intuitionistic temporal logics

Joseph BoudouMartin DiéguezDavid Fernández-DuquePhilip Kremer

A1 Journal Article in THEORY AND PRACTICE OF LOGIC PROGRAMMING

Bisimulations for intuitionistic temporal logics

Philippe BalbianiJoseph BoudouMartin DieguezDavid Fernández-Duque

A2 Journal Article in JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR