In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) <math>\Diamond A \equiv \lnot\Box\lnot A</math> and being closed under the rule <math> A \equiv B \vdash \Box A\equiv\Box B.

PropertyValue
dbpprop:abstract
  • In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) <math>\Diamond A \equiv \lnot\Box\lnot A</math> and being closed under the rule <math> A \equiv B \vdash \Box A\equiv\Box B. </math> Alternatively one can give a dual definition of L by which L is classical iff it contains (as axiom or theorem) <math>\Box A \equiv \lnot\Diamond\lnot A</math> and is closed under the rule <math> A \equiv B \vdash \Diamond A\equiv\Diamond B. </math> 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.
  • Em lógica modal, uma lógica modal clássica L é qualquer lógica modal contendo (como axioma ou teorema) <math>\Diamond A \equiv \lnot\Box\lnot A</math> e sendo fechada sob a regra <math> A \equiv B \vdash \Box A\equiv\Box B. </math> Alternativamente pode-se dar uma definição dual de L na qual L é classica se e somente se contém (como axioma ou teorema) <math>\Box A \equiv \lnot\Diamond\lnot A</math> e é fechada sob a regra <math> A \equiv B \vdash \Diamond A\equiv\Diamond B. </math> O sistema clássico mais fraco, algumas vezes referido como E, é não-nomal. Tanto a semântica algébrica quanto a de vizinhanças caracterizam sistemas modais clássicos similares que são mais fracos que a mais fraca lógica modal normal K.
rdfs:comment
  • In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) <math>\Diamond A \equiv \lnot\Box\lnot A</math> and being closed under the rule <math> A \equiv B \vdash \Box A\equiv\Box B.
  • Em lógica modal, uma lógica modal clássica L é qualquer lógica modal contendo (como axioma ou teorema) <math>\Diamond A \equiv \lnot\Box\lnot A</math> e sendo fechada sob a regra <math> A \equiv B \vdash \Box A\equiv\Box B.
rdfs:label
  • Classical modal logic
  • Lógica modal clássica
owl:sameAs
skos:subject
foaf:page