Raul Fervari

Available identifiers

zbMath Open fervari.raulMaRDI QIDQ777870

List of research outcomes

Publication	Date of Publication	Type
Uncertainty-based semantics for multi-agent knowing how logics	2024-11-24	Paper
First steps in updating knowing how	2024-06-05	Paper
How easy it is to know how: an upper bound for the satisfiability problem	2024-05-29	Paper
Data graphs with incomplete information (and a way to complete them)	2024-05-29	Paper
\textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics	2024-05-17	Paper
Algebraic tools for default modal systems	2024-02-08	Paper
Modal logics and local quantifiers: a zoo in the elementary hierarchy	2024-01-23	Paper
Non-monotonic reasoning via dynamic consequence	2023-06-02	Paper
On Composing Finite Forests with Modal Logics	2023-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q5878365	2023-02-21	Paper
BISIMULATIONS FOR KNOWING HOW LOGICS	2022-05-25	Paper
Copy and remove as dynamic operators	2022-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q5018505	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5015266	2021-12-07	Paper
Default modal systems as algebraic updates	2021-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q5155666	2021-10-08	Paper
Internal proof calculi for modal logics with separating conjunction	2021-09-22	Paper
Verification of dynamic bisimulation theorems in Coq	2021-06-25	Paper
Modal Logics with Composition on Finite Forests	2021-01-21	Paper
Mechanizing bisimulation theorems for relation-changing logics in Coq	2020-07-08	Paper
A tableaux calculus for default intuitionistic logic	2020-03-10	Paper
Interpolation and Beth definability in default logics	2020-02-18	Paper
Axiomatising logics with separating conjunction and modalities	2020-02-18	Paper
The power of modal separation logics	2020-02-17	Paper
Introspection as an action in relational models	2019-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q5224566	2019-07-24	Paper
Satisfiability for relation-changing logics	2019-01-31	Paper
Relation-changing modal operators: Fig. 1.	2019-01-08	Paper
Undecidability of relation-changing modal logics	2018-04-12	Paper
Dynamic epistemic logics of introspection	2018-04-12	Paper
Axiomatizations for downward XPath on data trees	2017-09-07	Paper
The modal logic of copy and remove	2017-09-04	Paper
Hilbert-Style Axiomatization for Hybrid XPath with Data	2016-11-30	Paper
Swap logic	2015-02-27	Paper
Logics with Copy and Remove	2015-01-13	Paper
The Impact of Including Model Update Operators in Modal Logics	2014-07-24	Paper
Tableaux for Relation-Changing Modal Logics	2013-09-20	Paper
Moving Arrows and Four Model Checking Results	2012-09-21	Paper

Research outcomes over time

This page was built for person: Raul Fervari