Fixed-point properties for predicate modal logics

Annals of the Japan Association for Philosophy of Science 29:1-25 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Embedding of Modal Predicate Systems into Lower Predicate Calculus.Satoshi Miura - 1983 - Annals of the Japan Association for Philosophy of Science 6 (3):147-160.
Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol.Kokio Shirai - 1971 - Annals of the Japan Association for Philosophy of Science 4 (1):49-67.
An interpretation of Aristotle's modal syllogism.Mitsuru Okabe - 1981 - Annals of the Japan Association for Philosophy of Science 6 (1):19-41.
Ontology as a natural extension of predicate calculus with identity equipped with description.Toshiharu Waragai - 1990 - Annals of the Japan Association for Philosophy of Science 7 (5):23-40.
A Bi-Modal Characterization of Epistemic Logic.Arata Ishimoto - 1978 - Annals of the Japan Association for Philosophy of Science 5 (3):135-155.
Modal Logic Without Possible Worlds.Reinhard Kleinknecht - 1983 - Annals of the Japan Association for Philosophy of Science 6 (3):161-171.
A Sequent Calculus for the Lesniewskian Modal Logic.Mitio Takano - 1994 - Annals of the Japan Association for Philosophy of Science 8 (4):191-201.
Axioms of Infinity as the Starting Point for Rigorous Mathematics.John P. Burgess - 2012 - Annals of the Japan Association for Philosophy of Science 20:17-28.
Newton's Principia from a Logical Point of View.Toshio Ishigaki - 1994 - Annals of the Japan Association for Philosophy of Science 8 (4):221-36.
A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC.Sakaé Fuchino - 2017 - Annals of the Japan Association for Philosophy of Science 25:67-77.

Analytics

Added to PP
2020-11-18

Downloads
21 (#762,792)

6 months
10 (#308,815)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.
The predicate modal logic of provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.
Quantified modal logic and self-reference.C. Smoryński - 1987 - Notre Dame Journal of Formal Logic 28 (3):356-370.

Add more references