-
Independence-Friendly Modal Logic. Studies in its Expressive Power and Theore...
The doctoral dissertation introduces independence-friendly (IF) modal logic as an extension of standard modal logic. Making use of the notion of uniform strategy, a... -
Modal Logic of Time Division
This dataset has no description
