Semantical Considerations on Modal Logic

907 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

A Logical Theory of Localization (2015, background): “It builds on an earlier treatment of knowledge [42,49] that mirrors modal logic [28,31] in putting forth a possible-worlds interpretation, that is, situations are treated as possible worlds.”
Multiagent Only Knowing in Dynamic Systems (2014, background): “He augments a logic of belief (Hintikka, 1962; Kripke, 1963; Fagin, 1.”
Semantical considerations on multiagent only knowing (2015, background): “He augments a logic of belief [5,6], where (say) the modality K denotes knowledge, with a modality O to capture the notion of only knowing.”
Real-time motion planning methods for autonomous on-road driving: State-of-the-art and future research directions (2015, methodology): “The dynamical system of the vehicle and the road network is formed as Kripke structure (Kripke, 1963)5 and a non-deterministic finite automaton is used for capturing the traffic rules.”
The Situation Calculus: A Case for Modal Logic (2010, background): “The interpretation of knowledge in ES is just a special case of possible-world semantics [27,25].”