Toward an epistemic-logical theory of categorization

zbMATH Open1483.03006arXiv1707.08743MaRDI QIDQ3384065FDOQ3384065

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (20)

• A logic of categorization
• Labelled calculi for the logics of rough concepts
• Reasoning about data and information. Abstraction between states and commodities
• 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
• Modalities in sociological arguments
• Formalization of human categorization process using interpolative Boolean algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories: how I learned to stop worrying and love two sorts
• Categorization generated by extended prototypes -- an axiomatic approach
• Algebraic proof theory for LE-logics
• Toward a Dempster-Shafer theory of concepts
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Non-distributive description logic
• Algorithmic correspondence and canonicity for non-distributive logics

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)