Joost J. Joosten

59 papers B 6C 5Misc 2Journal 45Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	The Complexity of the Constructive Master Modality. CoRR Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten
2025	C	`conf`	On Tame Semantics for Interpretability Logic. WoLLIC Vicent Navarro Arroyo, Joost J. Joosten
2025	J	`jnl`	On the Contingency of Logic in Possible World Semantics. Logica Universalis Iris van der Giessen, Joost J. Joosten, Paul Mayaux, Vicent Navarro Arroyo
2025	J	`jnl`	Specification languages for computational laws versus basic legal principles. CoRR Petia Guintchev, Joost J. Joosten, Sofía Santiago-Fernández, Eric Sancho Adamson, Aleix Solé Sánchez, Marta Soria Heredia
2025	J	`jnl`	Tree Rewriting Calculi for Strictly Positive Logics. CoRR Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten
2024	B	`conf`	A Tree Rewriting System for the Reflection Calculus. AiML Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque
2024	J	`jnl`	Le Nozze di Giustizia. Interactions between Artificial Intelligence, Law, Logic, Language and Computation with some case studies in Traffic Regulations and Health Care. CoRR Joost J. Joosten, Manuela Montoya García
2024	B	`conf`	UTC Time, Formally Verified. CPP Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten
2023	J	`jnl`	An Escape from Vardanyan's Theorem. J. Symb. Log. Ana de Almeida Borges, Joost J. Joosten
2023	J	`jnl`	Dialogues with algorithms. CoRR Joost J. Joosten
2023	J	`jnl`	Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561. CoRR Moritz Müller, Joost J. Joosten
2022	J	`jnl`	Arithmetical and Hyperarithmetical Worm Battles. J. Log. Comput. David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann
2022	J	`jnl`	FV Time: a formally verified Coq library. CoRR Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten
2022	Misc	`conf`	Hyperarithmetical Worm Battles. LFCS David Fernández-Duque, Konstantinos Papafilippou, Joost J. Joosten
2022	J	`jnl`	Theory and application of labelling techniques for interpretability logics. Math. Log. Q. Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec
2021	J	`jnl`	MüNchhausen Provability. J. Symb. Log. Joost J. Joosten
2021	J	`jnl`	To drive or not to drive: A logical and computational analysis of European transport regulations. Inf. Comput. Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten
2020	J	`jnl`	Hidden variables simulating quantum contextuality increasingly violate the Holevo bound. CoRR Adán Cabello, Joost J. Joosten
2020	B	`conf`	Quantified Reflection Calculus with One Modality. AiML Ana de Almeida Borges, Joost J. Joosten
2020	J	`jnl`	The Logic of Turing Progressions. Notre Dame J. Formal Log. Eduardo Hermo Reyes, Joost J. Joosten
2020	J	`jnl`	Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical Theories. J. Symb. Log. Evan Goris, Joost J. Joosten
2019	C	`conf`	The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. TIME Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten
2018	B	`conf`	Relational Semantics for the Turing Schmerl Calculus. Advances in Modal Logic Eduardo Hermo Reyes, Joost J. Joosten
2018	B	`conf`	The Worm Calculus. Advances in Modal Logic Ana de Almeida Borges, Joost J. Joosten
2018	J	`jnl`	The omega-rule interpretation of transfinite provability logic. Ann. Pure Appl. Log. David Fernández-Duque, Joost J. Joosten
2018	J	`jnl`	When logic lays down the law. CoRR Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz, Juan José Conejero Rodríguez, Eric Sancho Adamson, Aleix Solé Sánchez, Nika Pona, Joost J. Joosten
2017	J	`jnl`	Predicativity through Transfinite Reflection. J. Symb. Log. Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten, Francisco Félix Lara Martín
2016	J	`jnl`	Turing-Taylor Expansions for Arithmetic Theories. Stud Logica Joost J. Joosten
2015	J	`jnl`	Interacting Behavior and Emerging Complexity. CoRR Alyssa M. Adams, Hector Zenil, Eduardo Hermo Reyes, Joost J. Joosten
2015	C	`conf`	Turing Jumps Through Provability. CiE Joost J. Joosten
2014	J	`jnl`	On Provability Logics with Linearly Ordered Modalities. Stud Logica Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten
2014	J	`jnl`	The Selfish Algorithm. CoRR Eduardo Hermo Reyes, Joost J. Joosten
2014	J	`jnl`	Well-orders in the transfinite Japaridze algebra. Log. J. IGPL David Fernández-Duque, Joost J. Joosten
2013	J	`jnl`	Fractal dimension versus computational complexity. CoRR Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil
2013	J	`jnl`	Hyperations, Veblen progressions and transfinite iteration of ordinal functions. Ann. Pure Appl. Log. David Fernández-Duque, Joost J. Joosten
2013	J	`jnl`	Models of transfinite provability logic. J. Symb. Log. David Fernández-Duque, Joost J. Joosten
2012	J	`jnl`	A secure additive protocol for card players. Australas. J Comb. Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2012	J	`jnl`	Complexity fits the fittest CoRR Joost J. Joosten
2012	J	`jnl`	Empirical Encounters with Computational Irreducibility and Unpredictability. Minds Mach. Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten
2012	B	`conf`	Kripke Models of Transfinite Provability Logic. Advances in Modal Logic David Fernández-Duque, Joost J. Joosten
2012	J	`jnl`	On the necessity of complexity CoRR Joost J. Joosten
2012	J	`jnl`	Provability and Interpretability Logics with Restricted Realizations. Notre Dame J. Formal Log. Thomas F. Icard III, Joost J. Joosten
2012	J	`jnl`	Self provers and Σ Log. J. IGPL Evan Goris, Joost J. Joosten
2012	C	`conf`	Turing Progressions and Their Well-Orders. CiE David Fernández-Duque, Joost J. Joosten
2011	J	`jnl`	A new principle in the interpretability logic of all reasonable arithmetical theories. Log. J. IGPL Evan Goris, Joost J. Joosten
2011	J	`jnl`	A secure additive protocol for card players CoRR Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2011	J	`jnl`	Empirical Encounters with Computational Irreducibility and Unpredictability CoRR Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten
2011	C	`conf`	Hidden Variables Simulating Quantum Contextuality Increasingly Violate the Holevo Bound. UC Adán Cabello, Joost J. Joosten
2011	J	`jnl`	Program-Size versus Time Complexity, Speed-Up and Slowdown Phenomena in Small Turing Machines CoRR Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil
2011	J	`jnl`	Program-size versus Time Complexity Slowdown and Speed-up Phenomena in the Micro-cosmos of Small Turing Machines. Int. J. Unconv. Comput. Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil
2011	Misc	`conf`	Secure Communication of Local States in Interpreted Systems. DCAI Michael H. Albert, Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2011	—	`conf`	The Closed Fragment of IL is PSPACE Hard. M4M/LAMAS Félix Bou, Joost J. Joosten
2010	J	`jnl`	Complejidad descriptiva y computacional en máquinas de Turing pequeñas CoRR Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil
2010	J	`jnl`	Consistency statements and iterations of computable functions in ISigma Arch. Math. Log. Joost J. Joosten
2009	J	`jnl`	Interpretability in PRA. Ann. Pure Appl. Log. Marta Bílková, Dick de Jongh, Joost J. Joosten
2008	J	`jnl`	Modal Matters for Interpretability Logics. Log. J. IGPL Evan Goris, Joost J. Joosten
2007	J	`jnl`	Propositional Proof Systems and Fast Consistency Provers. Notre Dame J. Formal Log. Joost J. Joosten
2005	J	`jnl`	A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic. J. Log. Comput. Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort
2005	J	`jnl`	The Closed Fragment of the Interpretability Logic of PRA with a Constant for. Notre Dame J. Formal Log. Joost J. Joosten