22 found
Order:
Disambiguations
Hans Ditmarsch [19]Hans Van Ditmarsch [3]Hans P. Van Ditmarsch [1]
  1.  64
    Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
    A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  2.  13
    Prolegomena to Dynamic Logic for Belief Revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.
    In ‘belief revision’ a theory\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}$$\end{document} is revised with a formula φ resulting in a revised theory \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}\ast\varphi$$\end{document}. Typically, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\neg\varphi$$\end{document} is in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}$$\end{document}, one has to give up belief in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\neg\varphi$$\end{document} by a process (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  3.  8
    The Secret of My Success.Hans Ditmarsch & Barteld Kooi - 2006 - Synthese 151 (2):201-232.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  4.  6
    Announcement as Effort on Topological Spaces.Aybüke Özgün, Sophia Knight & Hans Ditmarsch - 2019 - Synthese 196 (7):2927-2969.
    We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, with S5 knowledge modality, and demonstrate their completeness. We moreover consider the weaker axiomatizations of three logics with S4 type of knowledge and prove soundness and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  12
    Editors’ Review and Introduction: Lying in Logic, Language, and Cognition.Hans Ditmarsch, Petra Hendriks & Rineke Verbrugge - 2020 - Topics in Cognitive Science 12 (2):466-484.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  11
    Dynamics of Lying.Hans Ditmarsch - 2014 - Synthese 191 (5):745-777.
    We propose a dynamic logic of lying, wherein a ‘lie that $$\varphi $$ ’ is an action in the sense of dynamic modal logic, that is interpreted as a state transformer relative to the formula $$\varphi $$. The states that are being transformed are pointed Kripke models encoding the uncertainty of agents about their beliefs. Lies can be about factual propositions but also about modal formulas, such as the beliefs of other agents or the belief consequences of the lies of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  14
    Introspective Forgetting.Hans Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  15
    Bisimulation and Expressivity for Conditional Belief, Degrees of Belief, and Safe Belief.Martin Jensen, Hans Ditmarsch, Thomas Bolander & Mikkel Andersen - 2017 - Synthese 194 (7):2447-2487.
    Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  28
    The Secret of My Success.Barteld Kooi & Hans Ditmarsch - 2006 - Synthese 153 (2):339-339.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  11
    A Theoria Round Table On Philosophy Publishing.Bengt Hansson, Hans Ditmarsch, Pascal Engel, Sven Hansson & Vincent Hendricks - 2011 - Theoria 77 (2):104-116.
    SØREN HOLM, PAULINE JACOBSON, ANTHONIE MEIJERS, HENRY S. RICHARDSON and HANS ROTT.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Review. [REVIEW]Hans Ditmarsch - 2010 - Theoria 76 (3):270-273.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  56
    My Beliefs About Your Beliefs: A Case Study in Theory of Mind and Epistemic Logic.Hans Van Ditmarsch & Willem Labuschagne - 2007 - Synthese 155 (2):191 - 209.
    We model three examples of beliefs that agents may have about other agents' beliefs, and provide motivation for this conceptualization from the theory of mind literature. We assume a modal logical framework for modelling degrees of belief by partially ordered preference relations. In this setting, we describe that agents believe that other agents do not distinguish among their beliefs ('no preferences'), that agents believe that the beliefs of other agents are in part as their own ('my preferences'), and the special (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  10
    Logic of Change, Change of Logic.Hans Ditmarsch, Brian Hill & Ondrej Majer - 2009 - Synthese 171 (2):227-234.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  10
    Private Announcements on Topological Spaces.Aybüke Özgün, Sophia Knight & Hans Ditmarsch - 2018 - Studia Logica 106 (3):481-513.
    In this work, we present a multi-agent logic of knowledge and change of knowledge interpreted on topological structures. Our dynamics are of the so-called semi-private character where a group G of agents is informed of some piece of information $$\varphi $$ φ, while all the other agents observe that group G is informed, but are uncertain whether the information provided is $$\varphi $$ φ or $$\lnot \varphi $$ ¬φ. This article follows up on our prior work where the dynamics were (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  27
    Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, Pp. 350. ISBN: 9781575865997 (Hardcover) US $70.00, ISBN: 9781575865980 (Paperback) US $30.00. [REVIEW]Hans Ditmarsch - 2012 - Studia Logica 100 (5):1055-1057.
  16.  25
    Logic in India—Editorial Introduction.Hans Ditmarsch, Rohit Parikh & R. Ramanujam - 2011 - Journal of Philosophical Logic 40 (5):557-561.
  17.  13
    Comments to ‘Logics of Public Communications’.Hans Ditmarsch - 2007 - Synthese 158 (2):181-187.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  11
    The Logic of Pit.Hans Ditmarsch - 2006 - Synthese 149 (2):343-374.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  15
    Reasoning About Local Properties in Modal Logic.Wiebe van der Hoek, Hans van Ditmarsch & Barteld Kooi - unknown
    Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  6
    Correction To: Dynamics of Lying.Hans Ditmarsch - 2019 - Synthese 196 (6):2543-2543.
    The original publication of the article is missing the funding information.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  4
    Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic.Barteld Kooi, Wiebe Hoek & Hans Ditmarsch - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Springer. pp. 237-262.
    This contribution is a gentle introduction to so-called dynamic epistemic logics, that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of one, two and finally three players holding cards; and, mainly for the purpose of motivating the dynamics, we also very summarily introduce the concepts of general and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change their knowledge as the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  8
    Special Issue on the Occasion of Johan van Benthem’s 60th Birthday—Editorial.Hans Ditmarsch & Lawrence Moss - 2009 - Journal of Philosophical Logic 38 (6):587-588.
    Direct download  
     
    Export citation  
     
    Bookmark