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



    Upload a copy of this work     Papers currently archived: 100,809

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

Advances in Modal Logic, Volume.F. Wolter, H. Wansing, M. de Rijke & M. Zakharyaschev - unknown
Advances in Modal Logic, Volume 11.Lev Beklemishev, Stéphane Demri & András Máté (eds.) - 2016 - CSLI Publications.
Papers From Advances In Modal Logic, Volume 1. [REVIEW]Edwin Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-96.
Advances in Modal Logic, Volume 4: Papers From the Fourth Aiml Conference, Held in Toulouse, October 2002.Philippe Balbiani, Nobu-Yuki Suzuki & Frank Wolter (eds.) - 2003 - London, England: King's College Publications.
Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014.Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.) - 2014 - London, England: CSLI Publications.
Advances in Modal Logic, Volume 3: Papers From the Third Aiml Conference, Held at the University of Leipzig, October 2000.Frank Wolter, H. Wansing, Maarten de Rijke & Michael Zakharyaschev - 2002 - Singapore: World Scientific.
Advances in Modal Logic, Volume 7: Papers From the Seventh Advances in Modal Logic Conference, Held in Nancy, France, September 2008.Carlos Areces & Robert Goldblatt (eds.) - 2008 - London, England: College Publications.
Advances in Modal Logic, Volume 6: Papers From the Sixth Conference on Advances in Modal Logic, Held in Noosa, Queensland, Australia, 25-28 September 2006.Guido Governatori, Ian Hodkinson & Yde Venema - 1998 - London, England: College Publications.
Advances in Modal Logic, Volume 5: Papers From the Fifth Aiml Conference, Held in Manchester, 9-11 September 2004.Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing (eds.) - 2005 - London, England: King's College Publications.
Advances in Modal Logic, Volume 1: Papers From the First Aiml Conference, Held at the Free University of Berlin, 1996.Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.) - 1998 - Cambridge, England: Cambridge University Press.

Analytics

Added to PP
2009-01-28

Downloads
29 (#771,372)

6 months
29 (#118,495)

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

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 12 references / Add more references