Switch to: References

Add citations

You must login to add citations.
  1. Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic.Jim de Groot - 2022 - Studia Logica 110 (3):717-743.
    We investigate bisimulations for instantial neighbourhood logic and an \-indexed collection of its fragments. For each of these logics we give a Hennessy-Milner theorem and a Van Benthem-style characterisation theorem.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Lyndon interpolation theorem of instantial neighborhood logic – constructively via a sequent calculus.Junhua Yu - 2020 - Annals of Pure and Applied Logic 171 (1):102721.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics.Frederik Van De Putte & Dominik Klein - 2022 - Journal of Philosophical Logic 51 (3):485-523.
    We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise intersection of neighbourhoods. We discuss salient properties of these modalities, situate the logics in the broader area of modal logics, establish key properties concerning their expressive power, discuss dynamic extensions of these logics and provide reduction axioms for the latter.
    Download  
     
    Export citation  
     
    Bookmark   1 citation