A finite axiomatization of the set of strongly valid ockhamist formulas

Journal of Philosophical Logic 14 (4):447 - 468 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00649485

Links

PhilArchive



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

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

Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.
Axiom systems for first order logic with finitely many variables.James S. Johnson - 1973 - Journal of Symbolic Logic 38 (4):576-578.
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
An axiomatization for until and since over the reals without the IRR rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics.Richard DeWitt - 2005 - Journal of Philosophical Logic 34 (5-6):545-560.
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 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.
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
The modal logic of the countable random frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1):323-333.

Analytics

Added to PP
2009-01-28

Downloads
9 (#1,281,906)

6 months
57 (#86,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
Combinations of tense and modality for predicate logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.

View all 28 citations / Add more citations

References found in this work

Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
The unreal future.John P. Burgess - 1978 - Theoria 44 (3):157-179.

Add more references