| dbo:abstract
|
- In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) 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 (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. Every regular modal logic is classical, and every normal modal logic is regular and hence classical. (en)
- Em lógica modal, uma lógica modal clássica L é qualquer lógica modal contendo (como axioma ou teorema) e sendo fechada sob a regra Alternativamente pode-se dar uma definição dual de L na qual L é classica se e somente se contém (como axioma ou teorema) e é fechada sob a regra O sistema clássico mais fraco, algumas vezes referido como E, é não-nomal. Tanto a 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. (pt)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1536 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- Em lógica modal, uma lógica modal clássica L é qualquer lógica modal contendo (como axioma ou teorema) e sendo fechada sob a regra Alternativamente pode-se dar uma definição dual de L na qual L é classica se e somente se contém (como axioma ou teorema) e é fechada sob a regra O sistema clássico mais fraco, algumas vezes referido como E, é não-nomal. Tanto a 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. (pt)
- In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) 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 (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. (en)
|
| rdfs:label
|
- Classical modal logic (en)
- Logica modale classica (it)
- Lógica modal clássica (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
