Raul Fervari

CoRR, 2024

2023

Algebraic tools for default modal systems.

[BibT_eX]

[DOI]

J. Log. Comput., August, 2023

On Composing Finite Forests with Modal Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., April, 2023

Uncertainty-Based Knowing How Logic.

[BibT_eX]

[DOI]

Andrés R. Saravia

CoRR, 2023

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Data Graphs with Incomplete Information (and a Way to Complete Them).

[BibT_eX]

[DOI]

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

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.

[BibT_eX]

[DOI]

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

A Deontic Logic of Knowingly Complying.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Model-Checking for Ability-Based Logics with Constrained Plans.

[BibT_eX]

[DOI]

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

2022

Bisimulations for Knowing How Logics.

[BibT_eX]

[DOI]

Yanjing Wang

Rev. Symb. Log., 2022

Non-monotonic Reasoning via Dynamic Consequence.

[BibT_eX]

[DOI]

Valentin Cassano

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

Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy.

[BibT_eX]

[DOI]

Alessio Mansutti

Proceedings of the Foundations of Software Science and Computation Structures, 2022

First Steps in Updating Knowing How.

[BibT_eX]

[DOI]

Andrés R. Saravia

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021

Internal proof calculi for modal logics with separating conjunction.

[BibT_eX]

[DOI]

Alessio Mansutti

J. Log. Comput., 2021

Axiomatizing Hybrid XPath with Data.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

Verification of dynamic bisimulation theorems in Coq.

[BibT_eX]

[DOI]

Francisco Trucco

Beta Ziliani

J. Log. Algebraic Methods Program., 2021

Copy and remove as dynamic operators.

[BibT_eX]

[DOI]

François Schwarzentruber

J. Appl. Non Class. Logics, 2021

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics.

[BibT_eX]

[DOI]

Andrés R. Saravia

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Deontic Action Logics via Algebra.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material).

[BibT_eX]

[DOI]

CoRR, 2020

Modal Logics with Composition on Finite Forests: Expressivity and Complexity.

[BibT_eX]

[DOI]

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Default Modal Systems as Algebraic Updates.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

The power of modal separation logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2019

Introspection as an action in relational models.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

An Algebraic Approach for Action Based Default Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq.

[BibT_eX]

[DOI]

Francisco Trucco

Beta Ziliani

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Axiomatising Logics with Separating Conjunction and Modalities.

[BibT_eX]

[DOI]

Alessio Mansutti

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

Interpolation and Beth Definability in Default Logics.

[BibT_eX]

[DOI]

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

A Tableaux Calculus for Default Intuitionistic Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Satisfiability for relation-changing logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

On the Complexity of Modal Separation Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 12, 2018

2017

Axiomatizations for downward XPath on data trees.

[BibT_eX]

[DOI]

Sergio Abriola

María Emilia Descotte

Santiago Figueira

J. Comput. Syst. Sci., 2017

The modal logic of copy and remove.

[BibT_eX]

[DOI]

Hans van Ditmarsch

François Schwarzentruber

Inf. Comput., 2017

Dynamic Epistemic Logics of Introspection.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

Undecidability of Relation-Changing Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

Strategically knowing how.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Tableaux for Hybrid XPath with Data.

[BibT_eX]

[DOI]

Nahuel Seiler

Proceedings of the Progress in Artificial Intelligence, 2017

2016

Relation-Changing Logics as Fragments of Hybrid Logics.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

Hilbert-Style Axiomatization for Hybrid XPath with Data.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

Relation-changing modal operators.

[BibT_eX]

[DOI]

Log. J. IGPL, 2015

2014

Swap logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

Logics with Copy and Remove.

[BibT_eX]

[DOI]

Hans van Ditmarsch

François Schwarzentruber

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

2013

Tableaux for Relation-Changing Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 2013

The Impact of Including Model Update Operators in Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Pristine Perspectives on Logic, Language, and Computation, 2013

2012

Moving Arrows and Four Model Checking Results.

[BibT_eX]

[DOI]