Journal of Logic, Language and Information 9 (2):213-236 (2000)
Abstract |
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.
|
Keywords | display logic knowledge logic |
Categories | (categorize this paper) |
Reprint years | 2004 |
DOI | 10.1023/A:1008341521750 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Labelled Deductive Systems: Volume 1.Dov M. Gabbay - 1996 - Oxford, England: Oxford University Press.
Rough Sets.Zdzislaw Pawlak, Jerzy Grzymala-Busse, Roman Slowinski & Wojciech Ziarko - 1995 - Commun. Acm 38 (11):88--95.
View all 19 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.
Cut-Free Tableau Calculi for Some Intuitionistic Modal Logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
Implicational F-Structures and Implicational Relevance Logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.
Semantics for Dual and Symmetric Combinatory Calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.
Cut-Free Tableau Calculi for Some Propositional Normal Modal Logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Analytics
Added to PP index
2009-01-28
Total views
16 ( #668,589 of 2,518,734 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,734 )
2009-01-28
Total views
16 ( #668,589 of 2,518,734 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,734 )
How can I increase my downloads?
Downloads