Pages that link to "Item:Q1582313"
From MaRDI portal
The following pages link to First order common knowledge logics (Q1582313):
Displaying 8 items.
- A logical framework for convention (Q813427) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- An epistemic probabilistic logic with conditional probabilities (Q2055800) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
- Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)
- Reasoning about knowledge and conditional probability (Q6064254) (← links)
- Epistemic monadic Boolean algebras (Q6562538) (← links)
