David Fernández-Duque

Artif. Intell., 2025

2024

Taming the 'elsewhere': on Expressivity of Topological Languages.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2024

Fixed point logics and definable topological properties.

[BibT_eX]

[DOI]

Quentin Gougeon

Math. Struct. Comput. Sci., 2024

The Baire Closure and its Logic.

[BibT_eX]

[DOI]

Guram Bezhanishvili

J. Symb. Log., 2024

Constructive S4 modal logics with the finite birelational frame property.

[BibT_eX]

[DOI]

CoRR, 2024

A Walk with Goodstein.

[BibT_eX]

[DOI]

Bull. Symb. Log., 2024

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2024

A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic.

[BibT_eX]

[DOI]

Lukas Zenger

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

A Tree Rewriting System for the Reflection Calculus.

[BibT_eX]

Sofía Santiago-Fernández

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

Modal Logics in Dynamical Systems.

[BibT_eX]

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

The Goldblatt-Thomason Theorem for Derivative Spaces.

[BibT_eX]

Reihane Zoghifard

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

Logics of Polyhedral Reachability.

[BibT_eX]

Laura Bussi

Vincenzo Ciancia

David Gabelaia

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

Dynamic Tangled Derivative Logic of Metric Spaces.

[BibT_eX]

[DOI]

Yoàv Montacute

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

The Topological Mu-Calculus: Completeness and Decidability.

[BibT_eX]

[DOI]

Alexandru Baltag

J. ACM, October, 2023

Dynamic Cantor Derivative Logic.

[BibT_eX]

[DOI]

Yoàv Montacute

Log. Methods Comput. Sci., 2023

Fixed Point Logics on Hemimetric Spaces.

[BibT_eX]

[DOI]

Quentin Gougeon

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

A Family of Decidable Bi-intuitionistic Modal Logics.

[BibT_eX]

[DOI]

Lukas Zenger

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

The Universal Tangle for Spatial Reasoning.

[BibT_eX]

[DOI]

Konstantinos Papafilippou

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Untangled: A Complete Dynamic Topological Logic.

[BibT_eX]

[DOI]

Yoàv Montacute

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Arithmetical and Hyperarithmetical Worm Battles.

[BibT_eX]

[DOI]

Konstantinos Papafilippou

Fedor Pakhomov

J. Log. Comput., 2022

Noetherian Gödel logics.

[BibT_eX]

[DOI]

Jan Bydzovsky

J. Log. Comput., 2022

Complete intuitionistic Temporal Logics for Topological dynamics.

[BibT_eX]

[DOI]

J. Symb. Log., 2022

Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms.

[BibT_eX]

[DOI]

Andreas Herzig

Petar Iliev

Log. J. IGPL, 2022

Deducibility and independence in Beklemishev's autonomous provability calculus.

[BibT_eX]

[DOI]

Eduardo Hermo Reyes

Inf. Comput., 2022

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

[BibT_eX]

[DOI]

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

Hyperarithmetical Worm Battles.

[BibT_eX]

[DOI]

Konstantinos Papafilippou

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

A Non-hyperarithmetical Gödel Logic.

[BibT_eX]

[DOI]

Jan Bydzovsky

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

The Topology of Surprise.

[BibT_eX]

[DOI]

Alexandru Baltag

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

A Gödel Calculus for Linear Temporal Logic.

[BibT_eX]

[DOI]

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

2021

Exploring the Jungle of Intuitionistic Temporal Logics.

[BibT_eX]

[DOI]

Juan José Conejero Rodríguez

Philip Kremer

Theory Pract. Log. Program., 2021

To drive or not to drive: A logical and computational analysis of European transport regulations.

[BibT_eX]

[DOI]

Ana de Almeida Borges

Mireia González Bedmar

Inf. Comput., 2021

Bisimulations for Intuitionistic Temporal Logics.

[BibT_eX]

[DOI]

FLAP, 2021

Who holds the best card? Secure communication of optimal secret bits.

[BibT_eX]

[DOI]

Vaishnavi Sundararajan

S. P. Suresh

Australas. J Comb., 2021

Some constructive variants of S4 with the finite model property.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Intuitionistic Linear Temporal Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2020

Ackermannian Goodstein Sequences of Intermediate Growth.

[BibT_eX]

[DOI]

Proceedings of the Beyond the Horizon of Computability, 2020

2019

The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.

[BibT_eX]

[DOI]

Stud Logica, 2019

A Self-contained Provability Calculus for Γ0.

[BibT_eX]

[DOI]

Juan José Conejero Rodríguez

Eduardo Hermo Reyes

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

The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations.

[BibT_eX]

[DOI]

Ana de Almeida Borges

Mireia González Bedmar

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic.

[BibT_eX]

[DOI]

Fabián Romero

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Stratified Evidence Logics.

[BibT_eX]

[DOI]

Andreas Herzig

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

The intuitionistic temporal logic of dynamical systems.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

Succinctness in Subsystems of the Spatial μ-Calculus.

[BibT_eX]

[DOI]

Petar Iliev

FLAP, 2018

The omega-rule interpretation of transfinite provability logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2018

An Intuitionistic Axiomatization of 'Eventually'.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 12, 2018

Frame-Validity Games and Absolute Minimality of Modal Axioms.

[BibT_eX]

[DOI]

Juan Pablo Aguilera Ozuna

Andreas Herzig

Petar Iliev

Proceedings of the Advances in Modal Logic 12, 2018

2017

Verification logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

Predicativity through Transfinite Reflection.

[BibT_eX]

[DOI]

Francisco Félix Lara Martín

J. Symb. Log., 2017

Strong Completeness of Provability Logic for Ordinal Spaces.

[BibT_eX]

[DOI]

J. Symb. Log., 2017

Worms and Spiders: Reflection Calculi and Ordinal Notation Systems.

[BibT_eX]

[DOI]

FLAP, 2017

A case study in almost-perfect security for unconditionally secure communication.

[BibT_eX]

[DOI]

Esteban Landerreche

Des. Codes Cryptogr., 2017

A Decidable Intuitionistic Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

Exploring the Bidimensional Space: A Dynamic Logic Point of View.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Logical Dynamics.

[BibT_eX]

[DOI]

, 2017

2016

Perfectly secure data aggregation via shifted projections.

[BibT_eX]

[DOI]

Inf. Sci., 2016

Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy.

[BibT_eX]

[DOI]

Valentin Goranko

Discret. Appl. Math., 2016

A Logical Theory of Belief Dynamics for Resource-Bounded Agents.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Axiomatizing the lexicographic products of modal logics with linear temporal logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

Verification logic: An arithmetical interpretation for negative introspection.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

2015

Forgetting complex propositions.

[BibT_eX]

[DOI]

Ángel Nepomuceno-Fernández

Enrique Sarrión-Morillo

Fernando R. Velázquez-Quesada

Log. J. IGPL, 2015

A geometric protocol for cryptography with cards.

[BibT_eX]

[DOI]

Des. Codes Cryptogr., 2015

A fully card-safe protocol for securely aggregating distributed information.

[BibT_eX]

[DOI]

CoRR, 2015

2014

Non-finite axiomatizability of dynamic topological logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

On Provability Logics with Linearly Ordered Modalities.

[BibT_eX]

[DOI]

Lev D. Beklemishev

Stud Logica, 2014

On the definability of simulation and bisimulation in epistemic logic.

[BibT_eX]

[DOI]

Wiebe van der Hoek

J. Log. Comput., 2014

Well-orders in the transfinite Japaridze algebra.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

Secure aggregation of distributed information.

[BibT_eX]

[DOI]

Valentin Goranko

CoRR, 2014

Evidence and plausibility in neighborhood structures.

[BibT_eX]

[DOI]

Johan van Benthem

Eric Pacuit

Ann. Pure Appl. Log., 2014

The polytopologies of transfinite provability logic.

[BibT_eX]

[DOI]

Arch. Math. Log., 2014

2013

A colouring protocol for the generalized Russian cards problem.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Models of transfinite provability logic.

[BibT_eX]

[DOI]

J. Symb. Log., 2013

Hyperations, Veblen progressions and transfinite iteration of ordinal functions.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2013

2012

A sound and complete axiomatization for Dynamic Topological Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 2012

Dynamic topological logic of metric spaces.

[BibT_eX]

[DOI]

J. Symb. Log., 2012

A modal framework for modelling abductive reasoning.

[BibT_eX]

[DOI]

Ángel Nepomuceno-Fernández

Log. J. IGPL, 2012

Tableaux for structural abduction.

[BibT_eX]

[DOI]

Ángel Nepomuceno-Fernández

Francisco J. Salguero-Lamillar

Log. J. IGPL, 2012

Tangled modal logic for topological dynamics.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2012

A secure additive protocol for card players.

[BibT_eX]

[DOI]

Australas. J Comb., 2012

Turing Progressions and Their Well-Orders.

[BibT_eX]

[DOI]

Proceedings of the How the World Computes, 2012

Kripke Models of Transfinite Provability Logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

Evidence Logic: A New Look at Neighborhood Structures.

[BibT_eX]

[DOI]

Johan van Benthem

Eric Pacuit

Proceedings of the Advances in Modal Logic 9, 2012

2011

On the Modal Definability of Simulability by Finite Transitive Models.

[BibT_eX]

[DOI]

Stud Logica, 2011

Dynamic Topological Logic Interpreted over Minimal Systems.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

Preface.

[BibT_eX]

[DOI]

Valentin Goranko

Wojtek Jamroga

Manuel Ojeda-Aciego

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Tangled Modal Logic for Spatial Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Secure Communication of Local States in Interpreted Systems.

[BibT_eX]

[DOI]

Michael H. Albert

Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2011

On the Definability of Simulability and Bisimilarity by Finite Epistemic Models.

[BibT_eX]

[DOI]

Wiebe van der Hoek

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Absolute Completeness of S4u for Its Measure-Theoretic Semantics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

2009

Non-deterministic semantics for dynamic topological logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2009

2007

Dynamic Topological Completeness for R2.

[BibT_eX]

[DOI]

Log. J. IGPL, 2007

2006

A polynomial translation of S4 into intuitionistic logic.

[BibT_eX]

[DOI]