Non‐Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic

Mathematical Logic Quarterly 27 (7):111-112 (1981)
  Copy   BIBTEX

Abstract

Shows that a certain temporal logic has infinitely many non-equivalent formulae in a single variable.

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810270703

Other Versions

reprint Makinson, David (1981) "Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27(7):111-112

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

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

A Finite Fragment Of S3.Tomasz Kowalski & John Slaney - 2008 - Reports on Mathematical Logic.
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
Equality and monodic first-order temporal logic.Anatoli Degtyarev, Michael Fisher & Alexei Lisitsa - 2002 - Studia Logica 72 (2):147-156.
Investigations on Fragments of First Order Branching Temporal Logic.Franco Montagna, G. Michele Pinna & B. P. Tiezzi - 2002 - Mathematical Logic Quarterly 48 (1):51-62.
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.Christopher Hampson, Stanislav Kikot, Agi Kurucz & Sérgio Marcelino - 2020 - Annals of Pure and Applied Logic 171 (5):102786.

Analytics

Added to PP
2013-12-01

Downloads
24 (#916,108)

6 months
4 (#1,263,115)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

On the existence of a continuum of logics in NEXT (KTB⊕ 22p→ 23p).Zofia Kostrzycka - 2007 - Bulletin of the Section of Logic 36 (1/2):37-43.
Transparent unifiers in modal logics with self-conjugate operators.Wojciech Dzik - 2006 - Bulletin of the Section of Logic 35 (2/3):73-83.

Add more citations

References found in this work

An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
A note on future branching time.Glenn Kessler - 1975 - Theoria 41 (2):89-95.
B(S4.3, S4) unveiled.G. E. Hughes - 1975 - Theoria 41 (2):85-88.

Add more references