Non-normal modal logic
id:
non-normal-modal-logic-264-6955302
title:
Non-normal modal logic
text:
A non-normal modal logic is a variant of modal logic that deviates from the basic principles of normal modal logics. Normal modal logics adhere to the distributivity axiom and the necessitation principle which states that "a tautology must be necessarily true". On the other hand, non-normal modal logics do not always have such requirements. The minimal variant of non-normal modal logics is logic E, which contains the congruence rule in its Hilbert calculus or the E rule in its sequent calculus u
brand slug:
wiki
category slug:
encyclopedia
description:
A less restrictive form of modal logic
original url:
https://en.wikipedia.org/wiki/Non-normal_modal_logic
date created:
date modified:
2024-03-01T14:47:27Z
main entity:
{"identifier":"Q124881343","url":"https://www.wikidata.org/entity/Q124881343"}
image:
fields total:
13
integrity:
14