Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras

Article Properties
  • Language
    English
  • Publication Date
    2023/01/01
  • Journal
  • Indian UGC (journal)
  • Refrences
    64
  • Marko Stankovic University of Niš, Pedagogical Faculty in Vranje, Vranje, Serbia
  • Miroslav Ciric University of Niš, Faculty of Sciences and Mathematics, Niš, Serbia ORCID (unauthenticated)
  • Jelena Ignjatovic University of Niš, Faculty of Sciences and Mathematics, Niš, Serbia ORCID (unauthenticated)
Abstract
Cite
Stankovic, Marko, et al. “Simulations and Bisimulations for Fuzzy Multimodal Logics over Heyting Algebras”. Filomat, vol. 37, no. 3, 2023, pp. 711-43, https://doi.org/10.2298/fil2303711s.
Stankovic, M., Ciric, M., & Ignjatovic, J. (2023). Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras. Filomat, 37(3), 711-743. https://doi.org/10.2298/fil2303711s
Stankovic, Marko, Miroslav Ciric, and Jelena Ignjatovic. “Simulations and Bisimulations for Fuzzy Multimodal Logics over Heyting Algebras”. Filomat 37, no. 3 (2023): 711-43. https://doi.org/10.2298/fil2303711s.
Stankovic M, Ciric M, Ignjatovic J. Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras. Filomat. 2023;37(3):711-43.
Journal Categories
Science
Mathematics
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
Refrences
Title Journal Journal Categories Citations Publication Date
Standard Gödel Modal Logics Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
35 2010
Bi-modal Godel logic over [0,1]-valued Kripke frames Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
25 2012
10.1007/978-1-4684-3848-2_26
10.1109/TFUZZ.2015.2426724
10.1007/978-3-642-39091-3_17