Mathematical Logic Foundations

Research Frontiers in Kripke Semantics and Modal Completeness Theorems

Extends Kripke semantics to diverse modal and temporal logics, establishing completeness results and exploring frame correspondence theory.

All Mathematical Logic & Foundations PhD categories