caa a22 4500 47580032X CHVBK 20180406123735.0 cr unu---uuuuu 170329e20000401xx s 000 0 eng 10.1023/A:1008341521750 doi (NATIONALLICENCE)springer-10.1023/A:1008341521750 Display Calculi for Logics with Relative Accessibility Relations [Elektronische Daten] [Stéphane Demri, Rajeev Goré] 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. Kluwer Academic Publishers, 2000 display logic nationallicence knowledge logic nationallicence Demri Stéphane Laboratoire LEIBNIZ - C.N.R.S., 46 Avenue Félix Viallet, 38031, Grenoble, France aut Goré Rajeev Automated Reasoning Project and Department of Computer Science, Australian National University, 0200, Canberra, ACT, Australia aut Journal of Logic, Language and Information Kluwer Academic Publishers 9/2(2000-04-01), 213-236 0925-8531 9:2<213 2000 9 10849 https://doi.org/10.1023/A:1008341521750 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1023/A:1008341521750 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Demri Stéphane Laboratoire LEIBNIZ - C.N.R.S., 46 Avenue Félix Viallet, 38031, Grenoble, France aut NATIONALLICENCE 700 1- Goré Rajeev Automated Reasoning Project and Department of Computer Science, Australian National University, 0200, Canberra, ACT, Australia aut NATIONALLICENCE 773 0- Journal of Logic, Language and Information Kluwer Academic Publishers 9/2(2000-04-01), 213-236 0925-8531 9:2<213 2000 9 10849 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer