Translator Disclaimer
2018 Independence of the Dual Axiom in Modal K with Primitive
Richmond Thomason
Notre Dame J. Formal Logic 59(3): 381-385 (2018). DOI: 10.1215/00294527-3817906

Abstract

Explicit axioms relating ϕand ϕ appear to be needed if is taken to be primitive. We prove that such axioms are in fact indispensable.

Citation

Download Citation

Richmond Thomason. "Independence of the Dual Axiom in Modal K with Primitive ." Notre Dame J. Formal Logic 59 (3) 381 - 385, 2018. https://doi.org/10.1215/00294527-3817906

Information

Received: 20 October 2012; Accepted: 10 July 2014; Published: 2018
First available in Project Euclid: 9 February 2017

zbMATH: 06939326
MathSciNet: MR3832087
Digital Object Identifier: 10.1215/00294527-3817906

Subjects:
Primary: 03B45
Secondary: 03B50

Rights: Copyright © 2018 University of Notre Dame

JOURNAL ARTICLE
5 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.59 • No. 3 • 2018
Back to Top