Researchers
Ognjanović, Zoran
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
1991 | A Proof Procedure for Modal Logic S4 | Ognjanović, Zoran ![]() ![]() | Conference Paper | Mp. category will be shown later |