Order:
  1.  11
    Bisimulations for Knowing How Logics.Raul Fervari, Fernando R. Velázquez-Quesada & Yanjing Wang - forthcoming - Review of Symbolic Logic:1-37.
    As a new type of epistemic logics, the logics of knowing how capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  11
    Relation-Changing Modal Operators: Fig. 1.Carlos Areces, Raul Fervari & Guillaume Hoffmann - 2015 - Logic Journal of the IGPL 23 (4):601-627.
  3.  6
    Copy and Remove as Dynamic Operators.Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert & François Schwarzentruber - forthcoming - Tandf: Journal of Applied Non-Classical Logics:1-40.
  4. Copy and Remove as Dynamic Operators.Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert & François Schwarzentruber - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):181-220.
    In this article, we present a modal logic that extends the basic modal logic ML with two dynamic operators: copy, which replicates the current model, labelling each copy with a different prop...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark