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

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
Keywords Until  modal logic  Kripke frame
Categories (categorize this paper)
DOI 10.1002/malq.19920380120
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: 53,666
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

No citations found.

Add more citations

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 index

Total views
2 ( #1,347,817 of 2,349,314 )

Recent downloads (6 months)
1 ( #510,581 of 2,349,314 )

How can I increase my downloads?


My notes