Switch to: References

Add citations

You must login to add citations.
  1. Extending the description logic EL with threshold concepts induced by concept measures.Franz Baader & Oliver Fernández Gil - 2024 - Artificial Intelligence 326 (C):104034.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Expressivity in chain-based modal logics.Michel Marti & George Metcalfe - 2018 - Archive for Mathematical Logic 57 (3-4):361-380.
    We investigate the expressivity of many-valued modal logics based on an algebraic structure with a complete linearly ordered lattice reduct. Necessary and sufficient algebraic conditions for admitting a suitable Hennessy–Milner property are established for classes of image-finite and modally saturated models. Full characterizations are obtained for many-valued modal logics based on complete BL-chains that are finite or have the real unit interval [0, 1] as a lattice reduct, including Łukasiewicz, Gödel, and product modal logics.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation