On some semantic tableau proof procedures for modal logic
Author(s)
Bibliographic Information
On some semantic tableau proof procedures for modal logic
(Fortschritt-Berichte VDI, Reihe 10,
VDI Verlag, 1984
Available at / 3 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p.125-128)