Publication
Notre Dame Journal of Formal Logic
Paper

A matrix decision procedure for three modal logics

View publication

Abstract

No abstract available.

Date

01 Jan 1979

Publication

Notre Dame Journal of Formal Logic

Authors

Share