Pages that link to "Item:Q1193476"
From MaRDI portal
The following pages link to A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476):
Displaying 27 items.
- (Q5015395) (← links)
- (Q5016796) (← links)
- (Q5018521) (← links)
- Justification Logics with Probability Operators (Q5024719) (← links)
- (Q5091278) (← links)
- Decomposability helps for deciding logics of knowledge and belief (Q5096273) (← links)
- Group Belief (Q5098739) (← links)
- Knowledge-based programs (Q5137342) (← links)
- A note on the complexity of S4.2 (Q5156186) (← links)
- Common Knowledge and the Knowledge Account of Assertion (Q5213677) (← links)
- A new method for testing decision procedures in modal logics (Q5234709) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
- Modal Logics with Hard Diamond-Free Fragments (Q5283414) (← links)
- Completeness and decidability results for a logic of contrary-to-duty conditionals (Q5300583) (← links)
- From KLM-style conditionals to defeasible modalities, and back (Q5375876) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- (Q5711863) (← links)
- A nonstandard approach to the logical omniscience problem (Q5917442) (← links)
- A nonstandard approach to the logical omniscience problem (Q5925570) (← links)
- Probability logic for type spaces (Q5938620) (← links)
- Tableaux for the Logic of Strategically Knowing How (Q6118724) (← links)
- Depth-bounded Epistemic Logic (Q6199597) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)
- Action models for coalition logic (Q6550523) (← links)
- On the modal logic K plus theories (Q6560175) (← links)
- Complexity results for modal logic with recursion via translations and tableaux (Q6597964) (← links)
- Efficient reasoning about knowledge and common knowledge (Q6623954) (← links)
