Pages that link to "Item:Q1288174"
From MaRDI portal
The following pages link to A logic with relative knowledge operators (Q1288174):
Displaying 8 items.
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
- The modal logic of agreement and noncontingency (Q1430999) (← links)
- Formal reasoning in preference-based multiple-source rough set model (Q1671288) (← links)
- Display calculi for logics with relative accessibility relations (Q1973930) (← links)
- Dynamic maintenance of rough approximations in multi-source hybrid information systems (Q2023264) (← links)
- Modal systems for covering semantics and boundary operator (Q2237204) (← links)
- Logic For Reasoning About Knowledge (Q3495344) (← links)
- Parametrized modal logic. II: The unidimensional case (Q6550519) (← links)