Independence of the dual axiom in modal \(\mathbf{K}\) with primitive

DOI10.1215/00294527-3817906zbMath1396.03038OpenAlexW2586254562WikidataQ114007779 ScholiaQ114007779MaRDI QIDQ1782241

Richmond H. Thomason

Publication date: 19 September 2018

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1486630844

zbMATH Keywords

modal logicmany-valued logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items

Introspection as an action in relational models

Cites Work

• Unnamed Item

This page was built for publication: Independence of the dual axiom in modal \(\mathbf{K}\) with primitive