Modal logic is a kind of logic used to represent statements about necessity and possibility. In philosophy and related fields it is used as a tool for...

Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition...

In logic, philosophy, and theoretical computer science, dynamic logic is an extension of modal logic capable of encoding properties of computer programs...

ethics, and epistemology. Modal logic is an extension of classical logic. In its original form, sometimes called "alethic modal logic", it introduces two new...

logical systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In...

Dynamic epistemic logic (DEL) is a logical framework dealing with knowledge and information change. Typically, DEL focuses on situations involving multiple...

can be used to formalize imperative logic, or directive modality in natural languages. Typically, a deontic logic uses OA to mean it is obligatory that...

Dynamic logic may mean: In theoretical computer science, dynamic logic (modal logic) is a modal logic for reasoning about dynamic behaviour In digital...

(developed by Saul Kripke and others for modal logic and related systems), algebraic semantics (connecting logic to abstract algebra), and game semantics...

the set of beliefs of c {\displaystyle c} . In doxastic logic, belief is treated as a modal operator. There is complete parallelism between a person...

doi:10.1016/j.asoc.2014.10.035. Mironov, A. M. (August 2005). "Fuzzy Modal Logics". Journal of Mathematical Sciences. 128 (6): 3461–3483. doi:10.1007/s10958-005-0281-1...

the modal μ-calculus (Lμ, Lμ, sometimes just μ-calculus, although this can have a more general meaning) is an extension of propositional modal logic (with...

Guarded logic is a choice set of dynamic logic involved in choices, where outcomes are limited. A simple example of guarded logic is as follows: if X...

composition, inversion, etc.) correspond to the modal operations used in dynamic logic. Temporal description logic represents—and allows reasoning about—time...

such fine logical structures like modal, temporal, dynamic, epistemic ones). In order to achieve its special goal, logic was forced to develop its own formal...

intuitionistic logic have an equivalent theorem in the classical modal logic S4. The result has been generalized to superintuitionistic logics and extensions...

Quantum logic embeds into linear logic and the modal logic B. Indeed, modern logics for the analysis of quantum computation often begin with quantum logic, and...

Intuitionistic logic Linear logic Many-valued logic Mathematical logic Metalogic Minimal logic Modal logic Non-Aristotelian logic Non-classical logic Noncommutative...

various logical systems, including classical logic, intuitionistic logic, linear logic, and modal logic. The approach bears conceptual resemblances to...

(wishes, desires, etc.; boulomaic logic would apply): "If only I were rich!" A related type of modality is dynamic modality, which indicates a subject's internal...

logic is a modal logic that has more than one primitive modal operator. They find substantial applications in theoretical computer science. A modal logic...

and discourse effects of modal expressions using formal tools derived from modal logic. Within philosophy, linguistic modality is often seen as a window...

Common knowledge can be given a logical definition in multi-modal logic systems in which the modal operators are interpreted epistemically. At the propositional...

declarative semantics. The important features of the logic include hypothetical and committed updates, dynamic constraints on transaction execution, non-determinism...

Millican, Peter (1994). "Statements and Modality: Strawson, Quine and Wolfram" (PDF). A. G. Hamilton, Logic for Mathematicians, Cambridge University...

Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In...

of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For...

its dual is a formula in conjunctive normal form.) dynamic modal logic A branch of modal logic that studies necessary and possible connections between...

were subsequently published as Time and Modality (1957). This is a seminal contribution to the study of tense logic and the metaphysics of time, in which...

and non-normal) modal logic, hybrid logic, first-order modal logic, paraconsistent logic, linear logic, relevance logic, connexive logic, belief revision...