Sara Negri

Suggest Changes
Learn More
A general method for generating contractionand cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames(More)
The evolution of completeness proofs for modal logic with respect to the possible world semantics is studied starting from an analysis of Kripke’s original proofs from 1959 and 1963. The critical(More)