Return to Article Details
Finite Model Property of Normal Modal Logics and Constant Formulas: an Example
Download
Download PDF