Display calculi for logics with relative accessibility relations

Journal of Logic, Language and Information 9 (2):213-236 (2000)
  Copy   BIBTEX


We define cut-free display calculi for knowledge logics wherean indiscernibility relation is associated to each set of agents, andwhere agents decide the membership of objects using thisindiscernibility relation. To do so, we first translate the knowledgelogics into polymodal logics axiomatised by primitive axioms and thenuse Kracht's results on properly displayable logics to define thedisplay calculi. Apart from these technical results, we argue thatDisplay Logic is a natural framework to define cut-free calculi for manyother logics with relative accessibility relations.



    Upload a copy of this work     Papers currently archived: 86,507

External links

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

Through your library


Added to PP

17 (#711,904)

6 months
1 (#871,807)

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.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Labelled deductive systems.Dov M. Gabbay - 1996 - New York: Oxford University Press.
Displaying Modal Logic.Heinrich Wansing - 1998 - Dordrecht, Netherland: Springer.

View all 21 references / Add more references