Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Kripke Semantics and Soundness Completeness

Comprehensive study of relational semantics for modal and temporal logics with their correspondence to axioms.