Classical modal logic
In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operators which is also closed under the rule Alternatively one can give a dual definition of L by which L is classical iff it contains (as axiom or theorem) 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.
primaryTopic
Classical modal logic
In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operators which is also closed under the rule Alternatively one can give a dual definition of L by which L is classical iff it contains (as axiom or theorem) 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.
has abstract
Em lógica modal, uma lógica mo ...... s fraca lógica modal normal K.
@pt
In modal logic, a classical mo ...... s regular and hence classical.
@en
Wikipage page ID
14,763,077
Wikipage revision ID
545,066,684
subject
comment
Em lógica modal, uma lógica mo ...... s fraca lógica modal normal K.
@pt
In modal logic, a classical mo ...... weakest normal modal logic K.
@en
label
Classical modal logic
@en
Lógica modal clássica
@pt