The following pages link to (Q5090984):
Displaying 14 items.
- 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 knowing why (Q2693121) (← links)
- (Q5092390) (← links)
- To be announced (Q6040661) (← links)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
- Are bundles good deals for first-order modal logic? (Q6116193) (← links)
- Epistemic Syllogistic: First Steps (Q6118726) (← links)
- Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract) (Q6118741) (← links)
- Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)
- Unary and two-variable interval logics (Q6601763) (← 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)
