Labelling ideality and subideality

DOI10.1007/3-540-61313-7_80zbMath1419.68089OpenAlexW1498006498WikidataQ58177168 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 logicinference ruledeontic logicproof systemaccessibility relation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof methods for modal and intuitionistic logics
• First-order modal tableaux
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• Semantics-Based Translation Methods for Modal Logics
• The Taming of the Cut. Classical Refutations with Analytic Cut