Lattice sieving

2011-02-27T15:11:11Z

79.182.122.185:

In [[modal logic]], a '''regular modal logic L''' is a modal logic closed under the [[duality (mathematics)|duality]] of the modal operators:

<math>\Diamond A \equiv \lnot\Box\lnot A</math>

and the rule

<math>(A\land B)\to C \vdash (\Box A\land\Box B)\to\Box C.</math>

Every regular modal logic is [[classical modal logic|classical]], and every [[normal modal logic]] is regular and hence classical.

== References ==
Chellas, Brian. ''Modal Logic: An Introduction''. Cambridge University Press, 1980.

[[Category:Logic]]
[[Category:Modal logic]]

{{logic-stub}}

formulasearchengine - User contributions [en]

Lattice sieving