"Knowing value" logic as a normal modal logic

29 Apr 2016Tao GuYanjing Wang

Recent years witness a growing interest in nonstandard epistemic logics of "knowing whether", "knowing what", "knowing how", and so on. These logics are usually not normal, i.e., the standard axioms and reasoning rules for modal logic may be invalid... (read more)

PDF Abstract