Switch to: Citations

References in:

The Fixed Point Property in Modal Logic

Lorenzo Sacchetti

Notre Dame Journal of Formal Logic 42 (2):65-86 (2001)

Add references

You must login to add references.

The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.details Modal and Intensional Logic in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 38 citations
Modal tableau calculi and interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.details Logic and Philosophy of Logic Modal Logic in Logic and Philosophy of Logic Modal and Intensional Logic in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 32 citations
Amalgamation and interpolation in normal modal logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.details This is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation. Modal and Intensional Logic in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 26 citations
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details Logic and Philosophy of Logic Direct download Export citation Bookmark 92 citations

1