Switch to: References

Add citations

You must login to add citations.
  1. Inquisitive logic as an epistemic logic of knowing how.Haoyu Wang, Yanjing Wang & Yunsong Wang - 2022 - Annals of Pure and Applied Logic 173 (10):103145.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Epistemic logic.Vincent Hendricks - 2008 - Stanford Encyclopedia of Philosophy.
    Epistemic logic is the logic of knowledge and belief. It provides insight into the properties of individual knowers, has provided a means to model complicated scenarios involving groups of knowers and has improved our understanding of the dynamics of inquiry.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Neighborhood semantics for logic of knowing how.Yanjun Li & Yanjing Wang - 2021 - Synthese 199 (3-4):8611-8639.
    In this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al., based on a class of Kripke neighborhood models with both the epistemic relations and neighborhood structures. This alternative semantics is inspired by the same quantifier alternation pattern of ∃∀\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\exists \forall $$\end{document} in the semantics of the know-how modality and the neighborhood semantics for the standard modality. We show that this new semantics (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Epistemic planning: Perspectives on the special issue.Vaishak Belle, Thomas Bolander, Andreas Herzig & Bernhard Nebel - 2023 - Artificial Intelligence 316 (C):103842.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Knowing how to plan about planning: Higher-order and meta-level epistemic planning.Yanjun Li & Yanjing Wang - 2024 - Artificial Intelligence 337 (C):104233.
    Download  
     
    Export citation  
     
    Bookmark