On Strictly Positive Modal Logics with S4.3 Frames.
Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Browse the full AiML paper archive.
Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Browse the full AiML paper archive.