The following pages link to Raul Fervari (Q777870):
Displaying 31 items.
- Mechanizing bisimulation theorems for relation-changing logics in Coq (Q777873) (← links)
- Undecidability of relation-changing modal logics (Q1742616) (← links)
- Dynamic epistemic logics of introspection (Q1742622) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- Default modal systems as algebraic updates (Q2055757) (← links)
- Interpolation and Beth definability in default logics (Q2296753) (← links)
- Axiomatising logics with separating conjunction and modalities (Q2296754) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- The modal logic of copy and remove (Q2401633) (← links)
- Axiomatizations for downward XPath on data trees (Q2402362) (← links)
- Hilbert-Style Axiomatization for Hybrid XPath with Data (Q2835860) (← links)
- Tableaux for Relation-Changing Modal Logics (Q2849494) (← links)
- Moving Arrows and Four Model Checking Results (Q2915023) (← links)
- Logics with Copy and Remove (Q2938130) (← links)
- Internal proof calculi for modal logics with separating conjunction (Q3382809) (← links)
- Satisfiability for relation-changing logics (Q4612446) (← links)
- Relation-changing modal operators: Fig. 1. (Q4644524) (← links)
- (Q5015266) (← links)
- (Q5018505) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Modal Logics with Composition on Finite Forests (Q5145629) (← links)
- (Q5155666) (← links)
- The Impact of Including Model Update Operators in Modal Logics (Q5170725) (← links)
- Swap logic (Q5176675) (← links)
- The power of modal separation logics (Q5216335) (← links)
- (Q5224566) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- (Q5878365) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- Algebraic tools for default modal systems (Q6189207) (← links)
