Mladen Vukovic
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Note on Semantics of the Interpretability Logic IL(KW1) Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / s. 109 - 1152003CZYSTY TEKST
Mladen Vukovic, A Note on Semantics of the Interpretability Logic IL(KW1), Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 109 - 115
BIBTEX@Article{ authors = " Mladen Vukovic", title = "A Note on Semantics of the Interpretability Logic IL(KW1)", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "109 - 115" }
-
Hennessy-Milner Theorem for Interpretability Logic Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 4 / s. 195 - 2012005CZYSTY TEKST
Mladen Vukovic, Hennessy-Milner Theorem for Interpretability Logic, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 4, s. 195 - 201
BIBTEX@Article{ authors = " Mladen Vukovic", title = "Hennessy-Milner Theorem for Interpretability Logic", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 4", pages = "195 - 201" }
