On the inadequacy of the relational semantic for the “until” operator

Mathematical Logic Quarterly 38 (1):247-252 (1992)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 92,873

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

Logics for classes of Boolean monoids.Gerard Allwein, Hilmi Demir & Lee Pike - 2004 - Journal of Logic, Language and Information 13 (3):241-266.
Minimal Axiomatization in Modal Logic.Fabio Bellissima & Saverio Cittadini - 1997 - Mathematical Logic Quarterly 43 (1):92-102.
A logic lu for understanding.Xiaowu Li & Xiangyang Guo - 2010 - Frontiers of Philosophy in China 5 (1):142-153.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
The modal logic of the countable random frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.


Added to PP

6 (#1,480,141)

6 months
3 (#1,037,180)

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

No references found.

Add more references