Pages that link to "Item:Q3299590"
From MaRDI portal
The following pages link to Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590):
Displaying 29 items.
- Opaque updates (Q2037297) (← links)
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
- Two variants of noncontingency operator (Q2075274) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic (Q2148841) (← links)
- Inquisitive logic as an epistemic logic of knowing how (Q2172829) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Epistemic logics with structured knowledge (Q2333672) (← links)
- Action models in inquisitive logic (Q2690222) (← links)
- A logic of knowing why (Q2693121) (← links)
- (Q3384090) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- (Q5090984) (← links)
- To be announced (Q6040661) (← links)
- Are bundles good deals for first-order modal logic? (Q6116193) (← links)
- Tableaux for the Logic of Strategically Knowing How (Q6118724) (← links)
- Epistemic Syllogistic: First Steps (Q6118726) (← links)
- An Abstract Look at Awareness Models and Their Dynamics (Q6118733) (← links)
- Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract) (Q6118741) (← links)
- Neighborhood semantics for logic of knowing how (Q6147178) (← links)
- How easy it is to know how: an upper bound for the satisfiability problem (Q6545554) (← links)
- Knowing the value of a predicate (Q6562539) (← links)
- Logics of true belief (Q6564677) (← links)
- Uncertainty-based semantics for multi-agent knowing how logics (Q6642564) (← links)
- \textit{De re} updates (Q6642569) (← links)
- Knowing how to plan (Q6642577) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)
