Logic

Research Frontiers in Hybrid Logic and Explicit State Reference

Extends modal logic with mechanisms for explicit reference to states enabling more expressive formal specifications.

All Logic PhD categories