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

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

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

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380120

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the inadequacy of the relational semantic for the “until” operator.Fabio Bellissima & Alessandra Ciupi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):247-252.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Polarity Semantics for Negation as a Modal Operator.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 108 (5):877-902.
Some Logics in the Vicinity of Interpretability Logics.Sergio Celani - 2020 - Bulletin of the Section of Logic:21 pp..
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic.Minghui Ma & Juntong Guo - forthcoming - Studia Logica:1-30.
Simulating polyadic modal logics by monadic ones.George Goguadze, Carla Piazza & Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):419-462.
An axiomatization of the modal theory of the veiled recession frame.W. J. Blok - 1979 - Studia Logica 38 (1):37 - 47.
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.
The Finite Model Property for Logics with the Tangle Modality.Robert Goldblatt & Ian Hodkinson - 2018 - Studia Logica 106 (1):131-166.
On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.

Analytics

Added to PP
2013-12-01

Downloads
6 (#1,483,753)

6 months
3 (#1,046,148)

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