Modal logic

Modal logic

Modal logic is a type of logic that expands upon propositional logic by incorporating operators that express different modes of truth. It allows for statements about necessity and possibility, such as "it is necessary that" and "it is possible that." Modal logic can be used to derive normative statements that are logically necessary, but it is important to note that there are different types of modal logic, including deontic and alethic.From: Dictionary of Computer Science, Engineering, and Technology [2017], Model-oriented Systems Engineering Science [2019], Risks of Artificial Intelligence [2019]

M

View Chapter

Purchase Book

Published in Phillip A. Laplante, Dictionary of Computer Science, Engineering, and Technology, 2017

Phillip A. Laplante

modal logic an extension of propositional logic with operators that express various “modes” of truth. Examples of modes are: necessarily A, possibly A, it has always been true that A, it is permissible that A. See temporal logic.

Doxastic logic: a new approach

View Article

Journal Information

Published in Journal of Applied Non-Classical Logics, 2018

Daniel Rönnedal

Epistemic and doxastic logic has often been developed as a kind of modal logic (Fagin, Halpern, Moses, & Vardi, 1995; Hintikka, 1962; Meyer & van der Hoek, 1995). There are, however, several well-known problems with various standard epistemic and doxastic systems, for instance, the so-called problem of logical omniscience. It is, therefore, plausible to explore some alternatives to this approach. The systems in this paper avoid many of the problems with the standard systems without totally abandoning the basic modal paradigm.1

Frames for fusions of modal logics

View Article

Journal Information

Published in Journal of Applied Non-Classical Logics, 2018

Sławomir Kost

A Kripke n-frame (or frame if n is not important or obvious) for n-modal logic is a structure , where W is a nonempty set and are binary relations on W ( are known as accessibility relations).

Explore chapters and articles related to this topic

M

Doxastic logic: a new approach

Frames for fusions of modal logics