Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Temporal Epistemic Logic and Knowledge Evolution

Analysis of combined temporal and epistemic logics for reasoning about how knowledge changes over time in dynamic scenarios.