Autori: Stankovic Marko ST
Naslov | Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebras (Article) |
Autori | Stankovic Marko ST Ciric Miroslav D Stanimirovic Stefan P Stakic Djordje S |
Info | FUZZY SETS AND SYSTEMS, (2025), vol. 507 br. , str. - |
Projekat | Science Fund of the Republic of Serbia, Quantitative Automata Models: Fundamental Problems and Applications - QUAM [7750185]; Ministry of Science, Technological Development and Innovation, Republic of Serbia; [451-03-66/2024-03/200139]; [451-03-65/2024-03/200124]; [451-03-65/2024-03/20097] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Approximate Hennessy-Milner type theorems for fuzzy multimodal logics over Heyting algebras (Article) |
Autori | Stankovic Marko ST Stanimirovic Stefan P Ciric Miroslav D |
Info | INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, (2025), vol. 179 br. , str. - |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Breadth-first fuzzy bisimulations for fuzzy automata (Article) |
Autori | Stanimirovic Stefan P Nguyen Linh Anh Ciric Miroslav D Stankovic Marko ST |
Info | FUZZY SETS AND SYSTEMS, (2025), vol. 503 br. , str. - |
Projekat | Science Fund of the Republic of Serbia [7750185]; Quantitative Automata Models: Fundamental Problems and Applications - QUAM; Ministry of Science, Technological Development and Innovation, Republic of Serbia [451-03-65/2024-03/200124, 451-03-66/2024-03/200139] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras (Article) |
Autori | Stankovic Marko ST Ciric Miroslav D Ignjatovic Jelena M |
Info | FILOMAT, (2023), vol. 37 br. 3, str. 711-743 |
Projekat | Ministry of Education, Science and Technological Development, Republic of Serbia [451-03-68/2022-14/200124] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
Naslov | Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras (Article) |
Autori | Stankovic Marko ST Ciric Miroslav D Ignjatovic Jelena M |
Info | JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, (2022), vol. 39 br. 2-4, str. 341-379 |
Projekat | Science Fund of the Republic of Serbia [7750185] |
Ispravka | ISI/Web of Science Elečas Rang časopisa |