Rough and Near: Modal History of Two Theories
From MaRDI portal
Publication:5082210
DOI10.1007/978-3-319-60837-2_9zbMath1489.68306MaRDI QIDQ5082210
Marcin Wolski, Anna Gomolińska
Publication date: 15 June 2022
Published in: Rough Sets (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-60837-2_9
03B45: Modal logic (including the logic of norms)
68T37: Reasoning under uncertainty in the context of artificial intelligence
54E05: Proximity structures and generalizations
Cites Work
- Proof systems for Moss' coalgebraic logic
- Rough logic
- Coalgebraic logic
- Introduction to Coalgebra
- Applications of Near Sets
- Completeness for the coalgebraic cover modality
- Topology with Applications
- Automata for the modal μ-calculus and related results
- Propositional Logics from Rough Set Theory
- Rough sets
- A concept of nearness
- A final coalgebra theorem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item