Labelling ideality and subideality

DOI10.1007/3-540-61313-7_80zbMATH Open1419.68089DBLPconf/fapr/Governatori96OpenAlexW1498006498WikidataQ58177168 ScholiaQ58177168MaRDI QIDQ4632306FDOQ4632306

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

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

zbMATH Keywords

deontic logicmodal logicinference ruleproof systemaccessibility relation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Title not available (Why is that?)
• Proof methods for modal and intuitionistic logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• First-order modal tableaux
• Semantics-Based Translation Methods for Modal Logics
• Title not available (Why is that?)
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics

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)