Pages that link to "Item:Q2342802"
From MaRDI portal
The following pages link to Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802):
Displayed 3 items.
- Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility (Q5283440) (← links)