Classical modal logic
id:
classical-modal-logic-248-4023592
title:
Classical modal logic
text:
In modal logic, a classical modal logic L is any modal logic containing the duality of the modal operators that is also closed under the rule Alternatively, one can give a dual definition of L by which L is classical if and only if it contains and is closed under the rule The weakest classical system is sometimes referred to as E and is non-normal. Both algebraic and neighborhood semantics characterize familiar classical modal systems that are weaker than the weakest normal modal logic K. Every
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Classical_modal_logic
date created:
date modified:
2024-03-01T14:46:42Z
main entity:
{"identifier":"Q5128344","url":"https://www.wikidata.org/entity/Q5128344"}
image:
fields total:
13
integrity:
13