14 found
Order:
  1.  30
    Epistemic Planning for Single- and Multi-Agent Systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
    In this paper, we investigate the use of event models for automated planning. Event models are the action defining structures used to define a semantics for dynamic epistemic logic. Using event models, two issues in planning can be addressed: Partial observability of the environment and knowledge. In planning, partial observability gives rise to an uncertainty about the world. For single-agent domains, this uncertainty can come from incomplete knowledge of the starting situation and from the nondeterminism of actions. In multi-agent domains, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  2
    Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic.Thomas Bolander - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Springer. pp. 207-236.
    In this paper we show how to formalise false-belief tasks like the Sally-Anne task and the second-order chocolate task in Dynamic Epistemic Logic. False-belief tasks are used to test the strength of the Theory of Mind of humans, that is, a human’s ability to attribute mental states to other agents. Having a ToM is known to be essential to human social intelligence, and hence likely to be essential to social intelligence of artificial agents as well. It is therefore important to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  70
    Bisimulation and Expressivity for Conditional Belief, Degrees of Belief, and Safe Belief.Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch & Martin Holm Jensen - 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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  14
    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  
  5. Self-Reference.Thomas Bolander, Vincent F. Hendricks & Stig Andur Pedersen - 2009 - Studia Logica 91 (1):139-144.
     
    Export citation  
     
    Bookmark   3 citations  
  6.  37
    Self-Reference.Thomas Bolander - 2008 - Studia Logica.
    An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, _Self-Reference_ reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Self-Reference.Thomas Bolander, Vincent F. Hendricks & Stig Andur Pedersen - 2006 - Center for the Study of Language and Inf.
    An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, _Self-Reference_ reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.
     
    Export citation  
     
    Bookmark   1 citation  
  8.  1
    Decidability of a Hybrid Duration Calculus.Thomas Bolander, Jens Ulrik Hansen & Michael R. Hansen - 2007 - Electronic Notes in Theoretical Computer Science 174 (3):113-133.
    We present a logic which we call Hybrid Duration Calculus. HDC is obtained by adding the following hybrid logical machinery to the Restricted Duration Calculus : nominals, satisfaction operators, down-arrow binder, and the global modality. RDC is known to be decidable, and in this paper we show that decidability is retained when adding the hybrid logical machinery. Decidability of HDC is shown by reducing the satisfiability problem to satisfiability of Monadic Second-Order Theory of Order. We illustrate the increased expressive power (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  7
    Synthetic Completeness Proofs for Seligman-Style Tableau Systems.Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander & Torben Braüner - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 302-321.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  7
    Many-Valued Hybrid Logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 111-132.
    In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11.  1
    Many-Valued Hybrid Logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 2008 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132.
    In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  3
    Preface.Torben Braüner & Thomas Bolander - 2009 - Journal of Logic, Language and Information 18 (4):435-436.
  13. Advances in Modal Logic 9.Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.) - 2012 - College Publications.
     
    Export citation  
     
    Bookmark  
  14. Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007).Jørgen Villadsen, Thomas Bolander & Torben Braüner (eds.) - 2007
    No categories
     
    Export citation  
     
    Bookmark