|
Gödel
incompleteness
and reverse mathematics
- Metric fixed point theory and partial impredicativity. With Paul Shafer, Henry Towsner and Keita Yokoyama. Philosophical Transactions of the Royal Society A 381 (2248), 2023. [Journal]
[ArXiv]
- Fundamental sequnces
and fast-growing hierarchies for the Bachmann-Howard
ordinal. Joint work with Andreas
Weiermann. [ArXiv]
- Fast Goodstein
walks. Joint work with Andreas Weiermann.
[ArXiv]
- A walk with
Goodstein. Joint work with Andreas
Weiermann. [ArXiv]
- Ekeland's
variational principle in weak and strong systems of
arithmetic. With Paul Shafer and Keita
Yokoyama. Selecta Mathematica 26(68), 2020. [Journal]
[ArXiv]
- Ackermannian
Goodstein sequences of intermediate growth.
With Andreas Weiermann. CiE 2020; 163-174. [Proceedings]
[ArXiv]
- Predicatively
unprovable termination of the Ackermannian Goodstein
process. With
Toshiyasu Arai, Stanley Wainer, and Andreas Weiermann.
Proceedings of the AMS, 148:3567-3582, 2020 [Journal]
[ArXiv]
- Hyperations, Veblen
progressions, and transfinite iteration of ordinal
functions. With Joost Joosten. Annals of
Pure and Applied Logic 164 (7-8),2013. [Journal]
[ArXiv]
Provability
logics
and reflection principles
- Hyperarithmetical
Worm Battles. With Joost Jooten and
Konstantinos Papafilippou. LFCS 2022: 52-69. [Proceedings] [ArXiv]
- A Self-contained
Provability Calculus for Γ0.
With Eduardo Hermo Reyes. WoLLIC 2019:
195-207. [Proceedings]
- The omega-rule
interpretation of transfinite provability logic.
With Joost Joosten. Annals of Pure and Applied Logic
169(4): 333-371, 2018. [Journal]
[ArXiv]
- Worms and spiders:
Reflection calculi and ordinal notation systems.
Journal of Applied Logics - IfCoLoG Journal of Logics
and their Applications, 4(10), 3277-3356, 2017. [Journal]
[ArXiv]
- Strong Completeness
of Provability Logic for Ordinal Spaces. With
Juan Pablo Aguilera. Journal of Symbolic Logic 82(2):
608-628, 2017. [Journal]
[ArXiv]
- Predicativity
through transfinite reflection. With Andrés
Cordón-Franco, Joost Joosten and Félix Lara-Martín.
Journal of Symbolic Logic 82(3): 787-808, 2017. [Journal]
[ArXiv]
- Verification logic.
With Juan Pablo Aguilera.
Journal of Logic and Computation 27(8): 2451-2469
(2017). Conference
version Verification
logic: An arithmetical interpretation for negative
introspection in Advances in Modal Logic, 1-20,
2016. [Journal]
[Proceedings]
- The many faces of
omega-logic. 2015. [ArXiv]
- Well-orders on the
transfinite Japaridze algebra. With Joost
Joosten. Logic Journal of the IGPL 22(6): 933-963, 2014.
[Journal]
[ArXiv]
- The polytopologies
of transfinite provability logic. Archive for
Mathematical Logic 53(3-4): 385-431, 2014. [Journal]
[ArXiv]
- On provability
logics with linearly ordered modalities. With
Lev Beklemishev and Joost Joosten. Studia Logica 102
(3): 541-566, 2014. [Journal]
[ArXiv]
- Models of
Transfinite Provability Logic. With Joost
Joosten. Journal of Symbolic Logic, 78 (2), 543-561,
2013. Extended version of Kripke
models of Transfinite Provability Logic, proceedings
of AiML, 2012. [Journal]
[Proceedings] [ArXiv]
- Turing progressions
and their well-orders. With Joost Joosten.
Proceedings of CiE, 2012. [pdf]
Spatial and temporal logics
- Taming the
`elsewhere': On expressivity of topological languages.
arXiv:2109.06040 [math.LO], 2021. [ArXiv]
- Exploring the Jungle
of Intuitionistic Temporal Logics. With Joseph
Boudou, Martín Diéguez, and Philip Kremer. Theory and
Practice of Logic Programming, 21(4): 459-492 (2021) [Journal]
[ArXiv]
- The
Topological Mu-Calculus: completeness and
decidability. With Alexandru
Baltag and Nick Bezhanishvili.
LICS 2021: 1-13. [Proceedings]
[ArXiv]
- Axiomatic
systems and topological semantics for intuitionistic
temporal logic. With Joseph Boudou, Martín
Diéguez and Fabián Romero. JELIA 2019.
[Proceedings]
[ArXiv]
- Intuitionistic
linear temporal logics. With Philippe
Balbiani, Joseph Boudou and Martín Diéguez. ACM Transactions on
Computational Logic 21(2), Article 14, pp 1–32, 2020.
[Journal]
[ArXiv]
-
An intuitionistic axiomatization of 'eventually'.
With Martín Diéguez. Advances in Modal Logic,
2018. [ArXiv]
- The
intuitionistic temporal logic of dynamical systems.
Logical Methods in Computer Science 14(3), 2018. [Journal]
- Axiomatic systems
and topological semantics for intuitionistic temporal
logic. With Joseph Boudou, Martín Diéguez, and
Fabián Romero. [ArXiv]
- Bisimulations
for intuitionistic temporal logics. With
Philippe Balbiani, Joseph Boudou, and Martín Diéguez. [ArXiv]
- Succinctness in
subsystems of the spatial mu-calculus. With
Petar Iliev. Journal of Applied Logics - IfCoLoG Journal
of Logics and their Applications, 2018. [ArXiv]
- A decidable
intuitionistic temporal logic. With Joseph
Boudou and Martín Dieguez. Computer Science Logic,
2017. [Proceedings]
[ArXiv]
- Exploring the
bidimensional space: A dynamic logic point of view. With
Philippe
Balbiani and Emiliano Lorini. Autonomous Agents and
Multi-Agent Systems, 2017. [Proceedings]
[ArXiv]
- Axiomatizing the
lexicographic products of modal logics with linear
temporal logic. With Philippe Balbiani.
Advances in Modal Logic, 78-96, 2016. [Proceedings]
- Non-finite
axiomatizability of Dynamic Topological Logic. ACM
Transactions
on Computational Logic 15(1), 2014. Conference version
in Advances in Modal Logic, 2012. [Journal]
[Proceedings]
[ArXiv]
- A sound and complete
axiomatization for Dynamic Topological Logic.
Journal of Symbolic Logic, 77(3), pp. 947-969, 2012. [Journal]
[ArXiv]
- Tangled Modal Logic
for Topological Dynamics. Annals of Pure and
Applied Logic, 163, pp. 467-481, 2012. [Journal]
[pdf]
- Tangled Modal Logic
for Spatial Reasoning. Proceedings of IJCAI,
2011. [Proceedings]
- Dynamic Topological
Logic of Metric Spaces. Journal of Symbolic
Logic, volume 77, number 1, 2011. [Journal]
[pdf]
- Dynamic Topological
Logic interpreted over Minimal Systems. Journal
of Philosophical Logic, 40 (6):767-804, 2011.
[Journal]
[pdf]
- Absolute
completeness of S4u for its measure-theoretic
semantics. Advances in Modal Logic, Volume 8,
2010. [Proceedings]
- Non-deterministic
semantics for Dynamic Topological Logic. Annals
of Pure and Applied Logic, Volume 157, Issues 2-3,
February 2009, Pages 110-121. [Journal]
[ArXiv]
- Dynamic topological
completeness for R2.
Logic
Journal of IGPL 15(1): 77-107, 2007. [Journal]
[pdf]
Logic in law
- To drive or not to
drive: A logical and computational analysis of
European transport regulations. With Ana de
Almeida Borges, Juan José Conejero Rodríguez, Mireia
González Bedmar, and Joost J. Joosten. Information and
Computation 280: 104636 (2021).
[Journal]
- The Second Order
Traffic Fine: Temporal Reasoning in European Transport
Regulations. With Ana de Almeida Borges, Juan
José Conejero Rodríguez, Mireia González Bedmar, and
Joost J. Joosten. TIME 2019: 6:1-6:16. [Proceedings]
Modal and epistemic logic
- Some constructive
variants of S4 with the finite model property.
With Philippe
Balbiani and Martín Diéguez. LICS
2021: 1-13. [Proceedings]
[ArXiv]
- Stratified evidence
logics. With Philippe Balbiani, Andreas
Herzig, and Emiliano Lorini. IJCAI 2019: 1523-1529. [Proceedings]
- Frame-validity games and
absolute minimality of modal axioms. With
Philippe Balbiani, David Fernández-Duque,
Andreas
Herzig and Petar Iliev. Advances in Modal Logic,
2018. [Proceedings]
[ArXiv]
- The Dynamics of
Epistemic Attitudes in Resource-Bounded Agents.
With Philippe Balbiani and Emilano
Lorini.
Studia Logica, 107(3):
457-488,
2019. [Journal]
- A
logical theory of belief dynamics for resource-bounded
agents. With Philippe Balbiani and Emiliano
Lorini. Studia Logica, 2018. Conference version in
Autonomous Agents and Multi-Agent Systems, 644-652,
2016. [Journal]
[Proceedings]
- Forgetting
complex propositions. With ángel
Nepomuceno-Fernández, Enrique Sarrión-Morrillo, Fernando
Soler-Toscano and Fernando Velazquez-Quesada. Logic
Journal of the IGPL 23(6): 942-965 (2015). [Journal]
[ArXiv]
- Evidence
and plausibility in neighborhood structures. With
Johan van Benthem and Eric Pacuit. Annals of Pure
and Applied Logic 165(3): 106-133, 2014. [Journal]
[ArXiv]
- Axiomatizing
evidence logic: a new look at neighborhood structures.
With Johan van Benthem and Eric Pacuit. Advances
in Modal Logic, 2012. [Proceedings]
- On
the definability of simulation and bisimulation
in epistemic logic. With Wiebe van der Hoek and
Hans van Ditmarsch. Journal of Logic and Computation,
2012. Extended
version of On the
definability of Simulability and Bisimilarity by
Finite Epistemic Models, in Proceedings of
CLIMA, 2011. [Journal]
[pdf]
- On the modal
definability of simulability by finite transitive
models. Studia Logica, 98(3), 347-373, 2011. [Journal]
[pdf]
- A
polynomial translation of S4 into Intuitionistic
Logic. Journal of
Symbolic Logic 71, iss. 3 (2006), 989-1001. [Journal]
[pdf].
Note: The
translation contains errors. For a correct version see A correct polynomial
translation of S4 into intuitionistic logic by
Goré and Thomson [pdf].
Unconditionally secure
communication
- Who holds the best
card? Secure communication of optimal secret bits.
With Hans
van Ditmarsch, Vaishnavi Sundararajan, and S. P.
Suresh. Australasian
Journal of Combinatorics 80: 1-29 (2021) [Journal]
- A case study in
almost-perfect security for unconditionally secure
communication. With Esteban Landerreche.
Designs, Codes and Cryptography, 83(1): 145-168, 2017. [Journal]
[ArXiv]
- Perfectly secure
data aggregation via shifted progressions. Information
Sciences
354: 153-164, 2016. [Journal]
[ArXiv]
- Secure aggregation
of distributed information: How a team of agents can
share secrets in front of a spy. With Valentin
Goranko. Discrete Applied Mathematics, 2015. [Journal]
[ArXiv]
- A geometric protocol
for cryptography with cards. With Andrés
Cordón-Franco, Hans van Ditmarsch and Fernando
Soler-Toscano. To appear in Designs, Codes and
Cryptography. [Journal]
[ArXiv]
- A colouring protocol
for the generalized Russian cards problem. With
Andrés Cordón-Franco, Hans van Ditmarsch and Fernando
Soler-Toscano. Theoretical Computer Science 495: 81-95,
2013. [Journal]
[ArXiv]
- A secure additive
protocol for card players. With Andrés
Cordón-Franco, Hans van Ditmarsch, Joost J. Joosten and
Fernando Soler-Toscano. Australasian Journal of
Combinatorics, volume 54, pages 163-176, 2012. [ArXiv]
Edited volume
- Connecting with
Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9,
2021, Proceedings. With Liesbeth De Mol,
Andreas Weiermann, and Florin Manea. Lecture Notes in
Computer Science 12813, Springer 2021, ISBN
978-3-030-80048-2.
- 7th
workshop
Methods for Modalities - Proceedings.
With Hans van
Ditmarsch, Valentin Goranko, Wojtek Jamroga and Manuel
Ojeda Aciego. ENTCS, Elsevier
Science, 2011.
|