Logic

Research Frontiers in Neighborhood Semantics and Modal Expressiveness

Investigation of neighborhood-based semantics for modal logic capturing non-normal modalities and resource-bounded operators.

All Logic PhD categories