Mathematical Logic Foundations

Research Frontiers in Kripke Semantics and Modal Completeness

Investigates Kripke''s semantics for modal and intuitionistic logics, establishing completeness results and correspondence theory between axioms and frames.

All Mathematical Logic & Foundations PhD categories