𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR

✍ Scribed by Fabio Bellissima; Alessandra Ciupi

Publisher
John Wiley and Sons
Year
1992
Tongue
English
Weight
311 KB
Volume
38
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U‐logics without Kripke frames, and that each U‐logic whose class of order does not have the finite frame property.

📜 SIMILAR VOLUMES

The inadequacy of a Deontological Analys
The inadequacy of a Deontological Analysis of Peer Relations in Organizations
✍ Robert M. Martin 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 721 KB

I argue for the inadequacy of the Kantian approach to the analysis of personal relations in business presented by Moberg and Meyer, in "A Deontological Analysis of Peer Relations in Organizations" (Journal of Business Ethics). It is unclear or implausible that the (mostly reasonable) principles of b

A Labelled Deductive System for Relation
A Labelled Deductive System for Relational Semantics of the Lambek Calculus
✍ Miroslawa Kolowska-Gawiejnowicz 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 484 KB

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.