𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantics for relevance logic with identity

✍ Scribed by Edwin D. Mares

Publisher
Springer Netherlands
Year
1992
Tongue
English
Weight
891 KB
Volume
51
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

✦ Synopsis

Models are constructed for a variety of systems of quantified relevance logic with identity. Models are given for systems with different principles governing the transitivity of identity and substitution, and the relative merits of these principles are discussed. The models in this paper are all extensions of the semantics of Fine's "Semantics for Quantified Relevance Logic" (Journal of Philosophical Logic 17 (1988)).

πŸ“œ SIMILAR VOLUMES

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD
QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
✍ Geir WaagbΓΈ; G. WaagbΓΈ πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 503 KB

## Abstract The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting fo