Modal logic
id:
modal-logic-179-7106176
title:
Modal logic
text:
Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula ◻ P can be used to represent the statement that P is known. In deontic modal logic, that same formula can represent that P is a moral obligation. Modal logic considers the inferences that modal statements give rise to
brand slug:
wiki
category slug:
encyclopedia
description:
Type of formal logic
original url:
https://en.wikipedia.org/wiki/Modal_logic
date created:
2003-10-02T22:37:18Z
date modified:
2024-09-04T23:17:28Z
main entity:
{"identifier":"Q210841","url":"https://www.wikidata.org/entity/Q210841"}
image:
fields total:
13
integrity:
15