Relation-changing modal operators: Fig. 1

Logic Journal of the IGPL 23 (4):601-627 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 102,020

External links

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

Through your library

Similar books and articles

Nested sequents for provability logic GLP: FIG. 1.Daniyar Shamkanov - 2015 - Logic Journal of the IGPL 23 (5):789-815.
19th workshop on logic, language, information and computation (wollic 2012).Luke Ong, Carlos Areces, Santiago Figueira & Ruy de Queiroz - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
On frontal operators in Hilbert algebras.J. L. Castiglioni & H. J. San Martin - 2015 - Logic Journal of the IGPL 23 (2):217-234.
Tense operators on De Morgan algebras.A. V. Figallo & G. Pelaitay - 2014 - Logic Journal of the IGPL 22 (2):255-267.

Analytics

Added to PP
2016-06-30

Downloads
41 (#556,697)

6 months
13 (#282,665)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.

View all 16 references / Add more references