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

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7):111-112 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810270703

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Non‐Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.David Makinson - 1981 - Mathematical Logic Quarterly 27 (7):111-112.
A Finite Fragment Of S3.Tomasz Kowalski & John Slaney - 2008 - Reports on Mathematical Logic.
On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
An application of the Rieger-Nishimura formulas to the intuitionistic modal logics.Dimiter Vakarelov - 1984 - Bulletin of the Section of Logic 13 (3):120-122.
Representing Counterparts.Andrew Bacon - 2014 - Australasian Journal of Logic 11 (2):90-113.
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Strong Boethius' thesis and consequential implication.Claudio Pizzi & Timothy Williamson - 1997 - Journal of Philosophical Logic 26 (5):569-588.

Analytics

Added to PP
2015-12-02

Downloads
33 (#472,429)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

On formulas in one variable in NEXT (KTB).Zofia Kostrzycka - 2006 - Bulletin of the Section of Logic 35 (2/3):119-131.
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.
B(S4.3, S4) unveiled.G. E. Hughes - 1975 - Theoria 41 (2):85-88.
A note on future branching time.Glenn Kessler - 1975 - Theoria 41 (2):89-95.

Add more references