A note on the axiomatisation of brouwersche modal logic

Journal of Philosophical Logic 10 (3):341 - 343 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00293424

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
A note on the axiomatisation of real numbers.Thierry Coquand & Henri Lombardi - 2008 - Mathematical Logic Quarterly 54 (3):224-228.
Semantics for Dual Preferential Entailment.Katarina Britz, Johannes Heidema & Willem Labuschagne - 2009 - Journal of Philosophical Logic 38 (4):433-446.
Constant Domain Quantified Modal Logics Without Boolean Negation.Greg Restall - 2005 - Australasian Journal of Logic 3:45-62.
Is there a logic of information?Gregory Wheeler - 2015 - Journal of Theoretical and Applied Artificial Intelligence 27 (1):95-98.
Review: Lennart Aqvist, Results Concerning some Modal Systems that Contain S2; E. J. Lemmon, Some Results on Finite Axiomatizability in Modal Logic; E. J. Lemmon, A Note on Hallden-Incompleteness. [REVIEW]M. J. Cresswell - 1969 - Journal of Symbolic Logic 34 (4):648-649.
An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.Erica Calardo & Vladimir Rybakov - 2007 - Logic Journal of the IGPL 15 (3):239-254.
Review: R. A. Bull, A Note on the Modal Calculi S4.2 and S4.3; R. A. Bull, A Class of Extensions of the Modal System S4 with the Finite Model Property; R. A. Bull, That all Normal Extensions of S4.3 have the Finite Model Property. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems.William Harper - 1974 - Journal of Philosophical Logic 3 (4):373 - 379.
Non-adjunctive inference and classical modalities.Horacio Arló Costa - 2005 - Journal of Philosophical Logic 34 (5/6):581 - 605.

Analytics

Added to PP
2009-01-28

Downloads
32 (#127,447)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Heterogeneous logic.I. L. Humberstone - 1988 - Erkenntnis 29 (3):395 - 435.

Add more citations

References found in this work

No references found.

Add more references