Display Calculi for Logics with Relative Accessibility Relations
Description
We define cut-free display calculi for knowledge logics where an indiscernibility relation is associated to each set of agents, and where agents decide the membership of objects using this indiscernibility relation. To do so, we first translate the knowledge logics into polymodal logics axiomatised by primitive axioms and then use Kracht's results on properly displayable logics to define the display calculi. Apart from these technical results, we argue that Display Logic is a natural framework...[Show more]
Collections | ANU Research Publications |
---|---|
Date published: | 2000 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/91156 |
Source: | Journal of Logic, Language and Information |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Demri_Display_Calculi_for_Logics_2000.pdf | 151.05 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator