Rough and Near: Modal History of Two Theories
From MaRDI portal
Publication:5082210
DOI10.1007/978-3-319-60837-2_9zbMath1489.68306OpenAlexW2644857776MaRDI 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
Modal logic (including the logic of norms) (03B45) Reasoning under uncertainty in the context of artificial intelligence (68T37) Proximity structures and generalizations (54E05)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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