Kenneth Harris and Branden Fitelson/Comments on Some Completeness Theorems of Urquhart and Méndez & Salto 51–55 Dominic Gregory/Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actu [Book Review]

Journal of Philosophical Logic 30 (1):617-618 (2001)

Abstract
The paper begins with a more carefully stated version of ontologically neutral logic, originally introduced in. A non-infinitistic semantics which includes a definition of potential infinite validity follows. It is shown, without appeal to the actual infinite, that this notion provides a necessary and sufficient condition for provability in ON logic.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1023/a:1017576005382
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,182
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Conditional Probability and Defeasible Inference.Rohit Parikh - 2005 - Journal of Philosophical Logic 34 (1):97 - 119.
Guards, Bounds, and Generalized Semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.
Philosophy of Science in Western Canada.A. D. Irvine - 1997 - International Studies in the Philosophy of Science 11 (3):289 – 301.

View all 7 citations / Add more citations

Similar books and articles

Remarks on Gregory's “Actually” Operator.Patrick Blackburn & Maarten Marx - 2002 - Journal of Philosophical Logic 31 (3):281-288.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
A Unified Completeness Theorem for Quantified Modal Logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Taming Logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
On the Completeness of First Degree Weakly Aggregative Modal Logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.

Analytics

Added to PP index
2014-03-26

Total views
26 ( #363,536 of 2,289,447 )

Recent downloads (6 months)
1 ( #840,769 of 2,289,447 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature