On some semantic tableau proof procedures for modal logic
On some semantic tableau proof procedures for modal logic
Graham Wrightson
Details
OL Work ID
OL9898576W
Subjects
Modality (Logic)
Nonclassical mathematical logic
Find this book
Open Library