Toward an epistemic-logical theory of categorization

MaRDI QIDQ3384065zbMATH OpenFDO

Authors Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08743, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.12

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Categories: how I learned to stop worrying and love two sorts
• On the notion of concept. II
• A logic of categorization
• On categorial membership
• Epistemic Communities: Description and Hierarchic Categorization

Cites work

• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Algorithmic correspondence and canonicity for non-distributive logics
• Categories: how I learned to stop worrying and love two sorts
• Constructive canonicity for lattice-based fixed point logics
• Epistemic updates on algebras
• Generalized Kripke frames
• Lattice logic properly displayed
• Multi-type display calculus for propositional dynamic logic
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• Unified correspondence

Cited in

(20)

• A logic of categorization
• Reasoning about data and information. Abstraction between states and commodities
• Labelled calculi for the logics of rough concepts
• Labelled calculi for lattice-based modal logics
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs
• Modelling socio-political competition
• Epistemic Communities: Description and Hierarchic Categorization
• Conceptual divergence -- canons and taboos -- and critique: reflections on explanatory categories
• Formalization of human categorization process using interpolative Boolean algebra
• Modalities in sociological arguments
• scientific article; zbMATH DE number 1755781 (Why is no real title available?)
• Categorization generated by extended prototypes -- an axiomatic approach
• Categories: how I learned to stop worrying and love two sorts
• scientific article; zbMATH DE number 496234 (Why is no real title available?)
• Algebraic proof theory for LE-logics
• Toward a Dempster-Shafer theory of concepts
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Algorithmic correspondence and canonicity for non-distributive logics
• Non-distributive description logic

This page was built for publication: Toward an epistemic-logical theory of categorization

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