Advances in modal logic, volume

Abstract

We study a propositional bimodal logic consisting of two S4 modalities and [a], together with the interaction axiom scheme a ϕ → a ϕ. In the intended semantics, the plain..

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Chapters

Partiality and Adjointness in Modal Logic.  (pages 313-332)Wesley H. Holliday

Similar books and articles

On combinations of propositional dynamic logic and doxastic modal logics.Renate A. Schmidt & Dmitry Tishkovsky - 2007 - Journal of Logic, Language and Information 17 (1):109-129.
Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
On Quantified Modal Logic.Melvin Fitting - unknown
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
[no title].Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Advances in Modal Logic, Volume.F. Wolter, H. Wansing, M. de Rijke & M. Zakharyaschev - unknown

Analytics

Added to PP
2009-01-28

Downloads
29 (#1,623,036)

6 months
29 (#320,601)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.

View all 11 references / Add more references