Sentence examples for modal logic data from inspiring English sources
See Aczel (1988), Barwise and Moss (1996), and Moss (2009) for more information about bisimulation an circularity, connections with modal logic, data structures, and coalgebras.
For more information on modal logic, see the entry on modal logic.
The Situation Calculus: A Case for Modal Logic, Journal of Logic, Language, and Information.
In the strict sense however, the term "modal logic" is reserved for the logic of the alethic modalities.
The method can be explained by means of a simple example taken from Carnielli et al. 2008: consider a propositional modal logic L, to be parameterized with first-order logic Lfol in order to describe the dynamics of data bases.
Thus, the central logical problems and techniques of tense logic were borrowed from modal logic.
Various modal logics can also be naturally temporalized and the relations between time and modality is one of the central questions in the philosophical study of modal logic.
See formal logic: modal logic.
Kenneth Konyndyk, Introductory Modal Logic, University of Notre Dame Press, 1986.
PHIL GU4424 Modal Logic. 3 points.
