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