The following pages link to (Q4180316):
Displayed 45 items.
- Quantified modal logic: non-normal worlds and propositional attitudes (Q787129) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Logics for belief as maximally plausible possibility (Q831224) (← links)
- Semantical considerations on multiagent only knowing (Q892188) (← links)
- An internal version of epistemic logic (Q965903) (← links)
- A logical formalization of the OCC theory of emotions (Q1036048) (← links)
- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents (Q1176175) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Minimal knowledge problem: A new approach (Q1329374) (← links)
- Private announcements on topological spaces (Q1653649) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems (Q1712550) (← links)
- On the logical unsolvability of the Gettier problem (Q1770635) (← links)
- Naming and identity in epistemic logic. II: A first-order logic for naming (Q1855214) (← links)
- In search of a ``true'' logic of knowledge: The nonmonotonic perspective (Q1855242) (← links)
- Announcement as effort on topological spaces (Q2053358) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Only knowing with degrees of confidence (Q2372201) (← links)
- A topological approach to full belief (Q2421518) (← links)
- In search of a ``true'' logic of knowledge: the nonmonotonic perspective (Q2673908) (← links)
- Epistemic logic without closure (Q2695021) (← links)
- Knowledge Means ‘All’, Belief Means ‘Most’ (Q2915057) (← links)
- A Modal Logic of Knowledge, Belief, and Estimation (Q2938532) (← links)
- An Epistemic Separation Logic (Q2947467) (← links)
- On Logics of Knowledge and Belief (Q2971694) (← links)
- Questions of Epistemic Logic in Hintikka (Q3299586) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- (Q3384059) (← links)
- LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF (Q3389490) (← links)
- Relevant logic as a basis for paraconsistent epistemic logics (Q4275693) (← links)
- Reasoning about knowledge and messages in asynchronous multi-agent systems (Q4559603) (← links)
- Knowledge means ‘<i>all</i>’, belief means ‘<i>most</i>’ (Q4586161) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
- Structures of Oppositions in Public Announcement Logic (Q4915594) (← links)
- (Q5018508) (← links)
- (Q5018512) (← links)
- A Logic of Knowledge and Belief Based on Abstract Arguments (Q5098746) (← links)
- A note on the complexity of S4.2 (Q5156186) (← links)
- DYNAMIC GRADED EPISTEMIC LOGIC (Q5216978) (← links)
- A public announcement separation logic (Q5377700) (← links)
- Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract) (Q6118741) (← links)
- The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)