Juan P. Aguilera

Martín Diéguez

Brett McLean

Artif. Intell., 2025

2024

Fundamental Logic Is Decidable.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2024

Higher-Order Feedback Computation.

[BibT_eX]

[DOI]

Robert S. Lubarsky

Leonardo Pacheco

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

Strong Completeness of the Closed Fragment of GLP.

[BibT_eX]

Grigorii Stepanov

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

A topological completeness theorem for transfinite provability logic.

[BibT_eX]

[DOI]

Arch. Math. Log., July, 2023

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

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., April, 2023

2022

Noetherian Gödel logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

The number of axioms.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2022

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE.

[BibT_eX]

[DOI]

Martín Diéguez

Brett McLean

Proceedings of the Logic, Language, Information, and Computation, 2022

A Non-hyperarithmetical Gödel Logic.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

A Gödel Calculus for Linear Temporal Logic.

[BibT_eX]

[DOI]

Martín Diéguez

Brett McLean

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Feedback hyperjump.

[BibT_eX]

[DOI]

Robert S. Lubarsky

J. Log. Comput., 2021

G<sub>δσ</sub> GAMES AND INDUCTION ON REALS.

[BibT_eX]

[DOI]

Philip D. Welch

J. Symb. Log., 2021

The order of Reflection.

[BibT_eX]

[DOI]

J. Symb. Log., 2021

Shortening Clopen Games.

[BibT_eX]

[DOI]

J. Symb. Log., 2021

Long games and <i>σ</i>-projective sets.

[BibT_eX]

[DOI]

Sandra Müller

Philipp Schlicht

Ann. Pure Appl. Log., 2021

A characterization of Σ11-reflecting ordinals.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2021

2020

The Consistency strength of Long Projective Determinacy.

[BibT_eX]

[DOI]

Sandra Müller

J. Symb. Log., 2020

PROVABLY $\Delta_1$ GAMES.

[BibT_eX]

[DOI]

D. W. Blue

J. Symb. Log., 2020

$F_\sigma $ GAMES AND REFLECTION IN $L(\mathbb {R})$.

[BibT_eX]

[DOI]

J. Symb. Log., 2020

Determinate logic and the Axiom of Choice.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2020

2019

Unsound Inferences Make Proofs Shorter.

[BibT_eX]

[DOI]

J. Symb. Log., 2019

2017

Ten problems in Gödel logic.

[BibT_eX]

[DOI]

Soft Comput., 2017

On the maximization of menu-dependent interval orders.

[BibT_eX]

[DOI]

Juan Pablo Aguilera Ozuna

Levent Ülkü

Soc. Choice Welf., 2017

Verification logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

Strong Completeness of Provability Logic for Ordinal Spaces.

[BibT_eX]

[DOI]

J. Symb. Log., 2017

2016

Cut Elimination for Gödel Logic with an Operator Adding a Constant.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2016

Compactness in Infinitary Gödel Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2016

Verification logic: An arithmetical interpretation for negative introspection.

[BibT_eX]

[DOI]