Contracting intuitionistic theories
From MaRDI portal
Publication:813088
DOI10.1007/s11225-005-8475-6zbMath1085.03015MaRDI QIDQ813088
Publication date: 30 January 2006
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-005-8475-6
contraction; intuitionistic logic; classical logic; revision; partial meet contraction; safe contraction
03B42: Logics of knowledge and belief (including belief change)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Cites Work
- Unnamed Item
- Theory contraction through base contraction
- On the logic of theory change: safe contraction
- On probabilistic representation of non-probabilistic belief revision
- On the logic of theory change: Partial meet contraction and revision functions
- Controlled Revision - An algorithmic approach for belief revision
- Theory-Contraction is NP-Complete
- AI 2003: Advances in Artificial Intelligence