You are not currently logged in.
Access JSTOR through your library or other institution:
A Modal Calculus Analogous to K4W, Based on Intuitionistic Propositional Logic, I°
Studia Logica: An International Journal for Symbolic Logic
Vol. 38, No. 3 (1979), pp. 297-311
Published by: Springer
Stable URL: http://www.jstor.org/stable/20014950
Page Count: 15
You can always find the topics here!Topics: Algebra, Universal algebra, Finite model property, Cognitive space, Binary relations, Mathematical transitivity, Boolean algebras, Propositional logic, Equivalence relation, Induced substructures
Were these topics helpful?See somethings inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
This paper treats a kind of a modal logic based on the intuitionistic propositional logic which arose from the "provability" predicate in the first order arithmetic. The semantics of this calculus is presented in both a relational and an algebraic way. Completeness theorems, existence of a characteristic model and of a characteristic frame, properties of FMP and FFP and decidability are proved.
Studia Logica: An International Journal for Symbolic Logic © 1979 Springer