View of Finite Model Property of Normal Modal Logics and Constant Formulas: an Example

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