Raul Fervari

Available identifiers

zbMath Open fervari.raulMaRDI QIDQ777870

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Raul Fervari