A Modal Characterization of Visibility and Focus in Granular Reasoning
Yasuo Kudo, Tetsuya Murai · Journal of Advanced Computational Intelligence and Intelligent Informatics · 2009
We have proposed two key concepts – focus and visibility – as modalities of modal logic. Scott-Montague models that we have proposed represent properties of visibility and focus and the concept that p is visible as modal sentence vis p and p is clearly visible – or is in focus – as modal sentence cv p.