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: 91,322

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

Axiomatising the Prior Future in Predicate Logic.Max Cresswell - 2013 - Logica Universalis 7 (1):87-101.
Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
A finite axiomatization of the set of strongly valid ockhamist formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.
Branching-time logic with quantification over branches: The point of view of modal logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.
Alternative axiomatics and complexity of deliberative stit theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.
“That Will Do”: Logics of Deontic Necessity and Sufficiency.Frederik Van De Putte - 2017 - Erkenntnis 82 (3):473-511.
On Béziau’s logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
An Axiomatization of Full Computation Tree Logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
Arthur Prior and Medieval Logic.Sara L. Uckelman - 2012 - Synthese 188 (3):349-366.
Axiomatization of a Denotational Semantics for First-order Logic.C. Vermeulen - 2004 - Logic Journal of the IGPL 12 (4):277-299.
The Logic of Necessity in Aristotle--an Outline of Approaches to the Modal Syllogistic, Together with a General Account of de dicto - and de re -Necessity.Ulrich Nortmann - 2002 - History and Philosophy of Logic 23 (4):253-265.
Three-Valued Temporal Logic Q t and Future Contingents.Seiki Akama, Yasunori Nagata & Chikatoshi Yamada - 2008 - Studia Logica 88 (2):215-231.

Analytics

Added to PP
2018-02-17

Downloads
26 (#592,813)

6 months
4 (#818,853)

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.
Fara’s Formula and the Supervaluational Thin Red Line.Alex Malpass - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (2):267-282.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references