Raul Fervari

Orcid: 0000-0003-0360-0725

Affiliations:
  • National University of Córdoba, Argentina


According to our database1, Raul Fervari authored at least 46 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Data-Aware Hybrid Tableaux.
CoRR, 2024

Beyond the Spell: A Dynamic Logic Analysis of Misdirection.
CoRR, 2024

2023
Algebraic tools for default modal systems.
J. Log. Comput., August, 2023

On Composing Finite Forests with Modal Logics.
ACM Trans. Comput. Log., April, 2023

Uncertainty-Based Knowing How Logic.
CoRR, 2023

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Data Graphs with Incomplete Information (and a Way to Complete Them).
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.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

A Deontic Logic of Knowingly Complying.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Model-Checking for Ability-Based Logics with Constrained Plans.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Bisimulations for Knowing How Logics.
Rev. Symb. Log., 2022

Non-monotonic Reasoning via Dynamic Consequence.
Proceedings of the Logic, Language, Information, and Computation, 2022

Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy.
Proceedings of the Foundations of Software Science and Computation Structures, 2022

First Steps in Updating Knowing How.
Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021
Internal proof calculi for modal logics with separating conjunction.
J. Log. Comput., 2021

Axiomatizing Hybrid XPath with Data.
Log. Methods Comput. Sci., 2021

Verification of dynamic bisimulation theorems in Coq.
J. Log. Algebraic Methods Program., 2021

Copy and remove as dynamic operators.
J. Appl. Non Class. Logics, 2021

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics.
Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Deontic Action Logics via Algebra.
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).
CoRR, 2020

Modal Logics with Composition on Finite Forests: Expressivity and Complexity.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Default Modal Systems as Algebraic Updates.
Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019
The power of modal separation logics.
J. Log. Comput., 2019

Introspection as an action in relational models.
J. Log. Algebraic Methods Program., 2019

An Algebraic Approach for Action Based Default Reasoning.
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq.
Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Axiomatising Logics with Separating Conjunction and Modalities.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Interpolation and Beth Definability in Default Logics.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

A Tableaux Calculus for Default Intuitionistic Logic.
Proceedings of the Automated Deduction - CADE 27, 2019

2018
Satisfiability for relation-changing logics.
J. Log. Comput., 2018

On the Complexity of Modal Separation Logics.
Proceedings of the Advances in Modal Logic 12, 2018

2017
Axiomatizations for downward XPath on data trees.
J. Comput. Syst. Sci., 2017

The modal logic of copy and remove.
Inf. Comput., 2017

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

Undecidability of Relation-Changing Modal Logics.
Proceedings of the Dynamic Logic. New Trends and Applications, 2017

Strategically knowing how.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Tableaux for Hybrid XPath with Data.
Proceedings of the Progress in Artificial Intelligence, 2017

2016
Relation-Changing Logics as Fragments of Hybrid Logics.
Proceedings of the Seventh International Symposium on Games, 2016

Hilbert-Style Axiomatization for Hybrid XPath with Data.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015
Relation-changing modal operators.
Log. J. IGPL, 2015

2014
Swap logic.
Log. J. IGPL, 2014

Logics with Copy and Remove.
Proceedings of the Logic, Language, Information, and Computation, 2014

2013
Tableaux for Relation-Changing Modal Logics.
Proceedings of the Frontiers of Combining Systems, 2013

The Impact of Including Model Update Operators in Modal Logics.
Proceedings of the Pristine Perspectives on Logic, Language, and Computation, 2013

2012
Moving Arrows and Four Model Checking Results.
Proceedings of the Logic, Language, Information and Computation, 2012


  Loading...