Australasian Journal of Logic 16 (1):1-8 (2019)

Authors
Guillermo Badia
University of Queensland
Abstract
In this note we provide a simple proof of the incompactness over Routley-Meyer B-frames of the A1 fragment of the second order propositional relevant language.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.26686/ajl.v16i1.3925
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,039
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

A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.
On Sahlqvist Formulas in Relevant Logic.Guillermo Badia - 2018 - Journal of Philosophical Logic 47 (4):673-691.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Relevant Fragment of First Order Logic.Guillermo Badia - 2016 - Review of Symbolic Logic 9 (1):143-166.
Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
On Sahlqvist Formulas in Relevant Logic.Guillermo Badia - 2018 - Journal of Philosophical Logic 47 (4):673-691.
Model Definability in Relevant Logic.Guillermo Badia - 2017 - IfCoLog Journal of Logics and Their Applications 3 (4):623-646.
Combinator Logics.Lou Goble - 2004 - Studia Logica 76 (1):17 - 66.
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
Andersonian Deontic Logic, Propositional Quantification, and Mally.Gert-Jan C. Lokhorst - 2006 - Notre Dame Journal of Formal Logic 47 (3):385-395.
An Event-Based Fragment of First-Order Logic Over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.

Analytics

Added to PP index
2019-06-22

Total views
11 ( #852,053 of 2,506,013 )

Recent downloads (6 months)
1 ( #416,828 of 2,506,013 )

How can I increase my downloads?

Downloads

My notes