Mathematical Logic Foundations

Research Frontiers in Epistemic Logic and Knowledge Operators

Study of knowledge and common knowledge with logical systems capturing epistemic and doxastic properties of rational agents.

All Mathematical Logic & Foundations PhD categories