The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations (Q539157): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B47 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B45 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5900601 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\gamma \)-admissibility | |||
Property / zbMATH Keywords: \(\gamma \)-admissibility / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
relevant modal logic | |||
Property / zbMATH Keywords: relevant modal logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
metavaluation | |||
Property / zbMATH Keywords: metavaluation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Sahlqvist axiom | |||
Property / zbMATH Keywords: Sahlqvist axiom / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-011-9315-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1964110945 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classically complete modal relevant logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The admissibility of \(\gamma\) in R4 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The semantics of entailment. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3701398 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Sahlqvist theorem for relevant modal logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3632245 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some metacomplete relevant modal logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A metacompleteness theorem for contraction-free relevant logics / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:10, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations |
scientific article |
Statements
The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations (English)
0 references
27 May 2011
0 references
\(\gamma \)-admissibility
0 references
relevant modal logic
0 references
metavaluation
0 references
Sahlqvist axiom
0 references