An Axiomatization of Prior's Ockhamist Logic of Historical Necessity

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 355-370 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

An Axiomatization of Prior's Ockhamist Logic of Historical Necessity.Mark Reynolds - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 355-370.
An axiomatization of Prior's modal calculus $Q$.R. A. Bull - 1964 - Notre Dame Journal of Formal Logic 5 (3):211-214.
Advances in Modal Logic 9.Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.) - 2012 - London, England: College Publications.
Review: A. N. Prior, Notes on a Group of New Modal Systems; R. A. Bull, An Axiomatization of Prior's Modal Calculus $mathbf{Q}$; A. N. Prior, Axiomatisations of the Modal Calculus $mathbf{Q}$. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464-464.
Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.
Axiomatising the Prior Future in Predicate Logic.Max Cresswell - 2013 - Logica Universalis 7 (1):87-101.
Complete Axiomatization of the Sutter-invariant Fragment of the Linear Time μ-calculus.Amélie Gheerbrant - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 140-155.
A finite axiomatization of the set of strongly valid ockhamist formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.
Complete Axiomatization of the Sutter-invariant Fragment of the Linear Time μ-calculus.Amélie Gheerbrant - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 140-155.
Prior A. N.. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 , pp. 122–127.Bull R. A.. An axiomatization of Prior's modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 211–214.Prior A. N.. Axiomatisations of the modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 215–217. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464.

Analytics

Added to PP
2020-02-06

Downloads
9 (#1,271,099)

6 months
3 (#1,209,684)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Truth About the Future.Jacek Wawer - 2014 - Erkenntnis 79 (S3):365-401.
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.
Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.

Add more citations

References found in this work

No references found.

Add more references