DOI10.1007/3-540-61313-7_80zbMath1419.68089WikidataQ58177168 ScholiaQ58177168MaRDI QIDQ4632306
Guido Governatori
Publication date: 29 April 2019 Published in: Practical Reasoning (Search for Journal in Brave) Full work available at URL: https://espace.library.uq.edu.au/view/UQ:9687/fapr96.pdf
zbMATH Keywords
modal logic; inference rule; deontic logic; proof system; accessibility relation
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03B80: Other applications of logic