Display calculi for logics with relative accessibility relations

DOI10.1023/A:1008341521750zbMath0988.03030OpenAlexW1538071772MaRDI QIDQ1973930

Rajeev Goré, Stéphane P. Demri

Publication date: 22 July 2002

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008341521750

zbMATH Keywords

display logicknowledge logicpolymodal logicscut-free display calculiindiscernibility relation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (1)

Logics from Galois connections

This page was built for publication: Display calculi for logics with relative accessibility relations