The following pages link to A logic for ignorance (Q2844045):
Displaying 34 items.
- Levels of modality for BDI logic (Q456714) (← links)
- A DDL approach to pluralistic ignorance and collective belief (Q484116) (← links)
- A logic for reasoning about ambiguity (Q490518) (← links)
- Ignorance in a multi-agent setting (Q1046299) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Bimodal logic with contingency and accident: bisimulation and axiomatizations (Q2044999) (← links)
- Logical principles of agnosticism (Q2051731) (← links)
- A logic for disjunctive ignorance (Q2056215) (← links)
- Two variants of noncontingency operator (Q2075274) (← links)
- A unified logic for contingency and accident (Q2155936) (← links)
- Reasoning about ignorance and beliefs (Q2234053) (← links)
- Symmetric contingency logic with unlimitedly many modalities (Q2281315) (← links)
- A family of neighborhood contingency logics (Q2295739) (← links)
- A modal logic of supervenience (Q2319894) (← links)
- Strong noncontingency: on the modal logics of an operator expressively weaker than necessity (Q2330503) (← links)
- Ignorance of ignorance (Q2666898) (← links)
- We don't know we don't know: asserting ignorance (Q2695162) (← links)
- A logic for factive ignorance (Q2695387) (← links)
- Free choice in modal inquisitive logic (Q2698544) (← links)
- A logic-based approach to pluralistic ignorance (Q2874890) (← links)
- Neighborhood Contingency Logic (Q2937393) (← links)
- (Q2962514) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- Propositional quantification in logics of contingency (Q4586155) (← links)
- Logics of Ignorance and Being Wrong (Q5046722) (← links)
- Neighbourhood Contingency Bisimulation (Q5224490) (← links)
- (Q5224886) (← links)
- The logic of secrets and the interpolation rule (Q6133700) (← links)
- A working hypothesis for the logic of radical ignorance (Q6142434) (← links)
- The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)
- A logical modeling of severe ignorance (Q6166125) (← links)
- Revising the elenchus via belief revision (Q6168795) (← links)
- Axiomatizing Rumsfeld ignorance (Q6191137) (← links)
- On the axiomatization of an unawareness structure from knowing-whether operators (Q6642839) (← links)
