Regular modal logic

Known as: Regular

In modal logic, a regular modal logic L is a modal logic closed under the duality of the modal operators: and the rule Every regular modal logic is…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

Nominal logic, also referred to as hybrid logic, is a general term for extensions of ordinary modal logics that introduce a new…

2013

Jaśkowski’s logic D 2 (as a set of formulae) was formulated with the help of the modal logic S5 (see Jaśkowski, Stud Soc Sci…

2008

Jaskowski's logic D2 was formulated with the help of the modal logic S5, (8)-(10). It was shown (see (12), (16)) that to define…