Ultravaluations and their applications in \textsf{CPL} (Q6054105): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5536619 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3230356 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5715109 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Results on Classical Preferential Models / rank | |||
Normal rank |
Latest revision as of 06:44, 3 August 2024
scientific article; zbMATH DE number 7753868
Language | Label | Description | Also known as |
---|---|---|---|
English | Ultravaluations and their applications in \textsf{CPL} |
scientific article; zbMATH DE number 7753868 |
Statements
Ultravaluations and their applications in \textsf{CPL} (English)
0 references
24 October 2023
0 references
ultravaluations
0 references
classical propositional logic
0 references
ultraproduct
0 references
compactness
0 references
definability
0 references