Labelling ideality and subideality

DOI10.1007/3-540-61313-7_80MaRDI QIDQ4632306zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

accessibility relationdeontic logicinference rulemodal logicproof system

Mathematics Subject Classification ID

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

Recommendations

• Lexifying ideals
• Idealizations, Intertheory Explanations and Conditionals
• Lecture notes on ideal dichotomy
• scientific article; zbMATH DE number 3155604
• Idealization and modeling
• Idealization, mechanism, and knowability
• scientific article; zbMATH DE number 510855
• Idealized and perspectival representations: some reasons for making a distinction
• Recollements and stratifying ideals

Cites work

• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• First-order modal tableaux
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 47958 (Why is no real title available?)
• scientific article; zbMATH DE number 49746 (Why is no real title available?)
• scientific article; zbMATH DE number 1140671 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• Proof methods for modal and intuitionistic logics
• Semantics-Based Translation Methods for Modal Logics
• The Taming of the Cut. Classical Refutations with Analytic Cut

This page was built for publication: Labelling ideality and subideality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4632306)