Hans P. van Ditmarsch - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 97 from 97

2015

A geometric protocol for cryptography with cardsAndrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Fernando Soler-Toscano. dcc, 74(1):113-125, 2015. [doi]

Neighborhood Contingency LogicJie Fan, Hans P. van Ditmarsch. icla 2015: 88-99 [doi]

2014

Logics with Copy and RemoveCarlos Areces, Hans P. van Ditmarsch, Raul Fervari, François Schwarzentruber. wollic 2014: 51-65 [doi]

Knowledge and GossipMaduka Attamah, Hans P. van Ditmarsch, Davide Grossi, Wiebe van der Hoek. ecai 2014: 21-26 [doi]

IntroductionGiacomo Bonanno, Hans P. van Ditmarsch, Wiebe van der Hoek, Steffen Jørgensen. igtr, 16(1), 2014. [doi]

Refinement modal logicLaura Bozzelli, Hans P. van Ditmarsch, Tim French, James Hales, Sophie Pinchinat. iandc, 239:303-339, 2014. [doi]

Almost NecessaryJie Fan, Yanjing Wang, Hans P. van Ditmarsch. aiml 2014: 178-196 [doi]

Dynamics of lyingHans P. van Ditmarsch. synthese, 191(5):745-777, 2014. [doi]

Semantics for Knowledge and Change of AwarenessHans P. van Ditmarsch, Tim French. jolli, 23(2):169-195, 2014. [doi]

Partial Information and Uniform StrategiesHans P. van Ditmarsch, Sophia Knight. clima 2014: 183-198 [doi]

The Ditmarsch Tale of WondersHans P. van Ditmarsch. ki 2014: 1-12 [doi]

Hidden protocols: Modifying our expectations in an evolving worldHans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang. ai, 208:18-40, 2014. [doi]

Some Exponential Lower Bounds on Formula-size in Modal LogicHans P. van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev. aiml 2014: 139-157 [doi]

On the definability of simulation and bisimulation in epistemic logicHans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek. logcom, 24(6):1209-1227, 2014. [doi]

The undecidability of group announcementsThomas Ågotnes, Hans P. van Ditmarsch, Tim French. atal 2014: 893-900 [doi]

2013

Bisimulation for Single-Agent Plausibility ModelsMikkel Birkegaard Andersen, Thomas Bolander, Hans P. van Ditmarsch, Martin Holm Jensen. ausai 2013: 277-288 [doi]

Subset Space Logic with Arbitrary AnnouncementsPhilippe Balbiani, Hans P. van Ditmarsch, Andrey Kudinov. icla 2013: 233-244 [doi]

Editorial Introduction to the Special Issue LOFT SevillaGiacomo Bonanno, Hans P. van Ditmarsch, Wiebe van der Hoek. jphil, 42(6):795-798, 2013. [doi]

The Complexity of One-Agent Refinement Modal LogicLaura Bozzelli, Hans P. van Ditmarsch, Sophie Pinchinat. IJCAI 2013: 2977-2981 [doi]

A colouring protocol for the generalized Russian cards problemAndrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Fernando Soler-Toscano. TCS, 495:81-95, 2013. [doi]

Connecting dynamic epistemic and temporal epistemic logicsHans P. van Ditmarsch, Wiebe van der Hoek, Ji Ruan. igpl, 21(3):380-403, 2013. [doi]

Revocable Belief RevisionHans P. van Ditmarsch. sLogica, 101(6):1185-1214, 2013. [doi]

Listen to Me! Public Announcements to Agents That Pay Attention - or NotHans P. van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber. ifip3-5 2013: 96-109 [doi]

Editorial introduction to the special issue LORI GuangzhouHans P. van Ditmarsch, Jérôme Lang. synthese, 190(18):1-4, 2013. [doi]

2012

Some Truths Are Best Left UnsaidPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. aiml 2012: 36-54 [doi]

The Complexity of One-Agent Refinement Modal LogicLaura Bozzelli, Hans P. van Ditmarsch, Sophie Pinchinat. jelia 2012: 120-133 [doi]

Unconditionally Secure Protocols with Genetic AlgorithmsIgnacio Hernández-Antón, Fernando Soler-Toscano, Hans P. van Ditmarsch. paams 2012: 121-128 [doi]

Local properties in modal logicHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. ai, 187:133-155, 2012. [doi]

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.00Hans P. van Ditmarsch. sLogica, 100(5):1055-1057, 2012. [doi]

Quantifying NotesHans P. van Ditmarsch. wollic 2012: 89-109 [doi]

Action models for knowledge and awarenessHans P. van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada. atal 2012: 1091-1098 [doi]

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMOHans P. van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano. paams 2012: 155-162 [doi]

Public announcements, public assignments and the complexity of their logicHans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. jancl, 22(3):249-273, 2012. [doi]

Strategic voting and the logic of knowledgeHans P. van Ditmarsch, Jérôme Lang, Abdallah Saffidine. atal 2012: 1247-1248 [doi]

Coalitional Public Announcement GamesThomas Ågotnes, Hans P. van Ditmarsch. prima 2012: 1-15 [doi]

2011

Secure Communication of Local States in Interpreted SystemsMichael H. Albert, Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano. dcai 2011: 117-124 [doi]

Becoming Aware of Propositional VariablesHans P. van Ditmarsch, Tim French. icla 2011: 204-218 [doi]

Reasoning about local properties in modal logicHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. atal 2011: 711-718 [doi]

On the Interactions of Awareness and CertaintyHans P. van Ditmarsch, Tim French. ausai 2011: 727-738 [doi]

Three StepsHans P. van Ditmarsch, Fernando Soler-Toscano. clima 2011: 41-57 [doi]

Logic in India - Editorial IntroductionHans P. van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam. jphil, 40(5):557-561, 2011. [doi]

Hidden protocolsHans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang. tark 2011: 65-74 [doi]

The rules of the game are changing: Scientific impact factors and publication strategies among logiciansHans P. van Ditmarsch, Rineke Verbrugge. logcom, 21(2):121-132, 2011. [doi]

From Situation Calculus to Dynamic Epistemic LogicHans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. logcom, 21(2):179-204, 2011. [doi]

PrefaceHans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego. ENTCS, 278:1-2, 2011. [doi]

On the Definability of Simulability and Bisimilarity by Finite Epistemic ModelsHans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek. clima 2011: 74-87 [doi]

What will they say? - Public Announcement GamesThomas Ågotnes, Hans P. van Ditmarsch. synthese, 179(Supplement-1):57-85, 2011. [doi]

Question-answer gamesThomas Ågotnes, Johan van Benthem, Hans P. van Ditmarsch, Stefan Minica. jancl, 21(3-4):265-288, 2011. [doi]

2010

Tableaux for Public Announcement LogicPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. logcom, 20(1):55-76, 2010. [doi]

A Logical Model of Intention and Plan DynamicsEmiliano Lorini, Hans P. van Ditmarsch, Tiago De Lima. ecai 2010: 1075-1076 [doi]

One Hundred Prisoners and a Lightbulb - Logic and ComputationHans P. van Ditmarsch, Jan van Eijck, William Wu. kr 2010: [doi]

Verifying one hundred prisoners and a lightbulbHans P. van Ditmarsch, Jan van Eijck, William Wu. jancl, 20(3):173-191, 2010. [doi]

Intention Change via Local AssignmentsHans P. van Ditmarsch, Tiago De Lima, Emiliano Lorini. lads 2011: 136-151 [doi]

Future Event Logic - Axioms and ComplexityHans P. van Ditmarsch, Tim French, Sophie Pinchinat. aiml 2010: 77-99 [doi]

Group announcement logicThomas Ågotnes, Philippe Balbiani, Hans P. van Ditmarsch, Pablo Seban. japll, 8(1):62-81, 2010. [doi]

2009

Avoiding bias in cards cryptographyMike D. Atkinson, Hans P. van Ditmarsch, Sigrid Roehling. ajc, 44:3-18, 2009. [doi]

Intentions and AssignmentsEmiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer. ifip3-5 2009: 198-211 [doi]

Knowing More - From Global to Local CorrespondenceHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. IJCAI 2009: 955-960 [doi]

Awareness and Forgetting of Facts and AgentsHans P. van Ditmarsch, Tim French. iat 2009: 478-483 [doi]

Logic of change, change of logicHans P. van Ditmarsch, Brian Hill, Ondrej Majer. synthese, 171(2):227-234, 2009. [doi]

Special Issue on the Occasion of Johan van Benthem's 60th Birthday - EditorialHans P. van Ditmarsch, Lawrence S. Moss. jphil, 38(6):587-588, 2009. [doi]

Introspective forgettingHans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis. synthese, 169(2):405-423, 2009. [doi]

2008

Undecidability for arbitrary public announcement logicTim French, Hans P. van Ditmarsch. aiml 2008: 23-42 [doi]

Simulation and Information: Quantifying over Epistemic EventsHans P. van Ditmarsch, Tim French. kramas 2009: 51-65 [doi]

Logical Fragments in Ibn Khaldūn's MuqaddimahHans P. van Ditmarsch. In Shahid Rahman, Tony Street, Hassan Tahiri, editors, The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions. Volume 11 of Logic, Epistemology, and the Unity of Science, pages 281-294, Springer, 2008. [doi]

Sum and Product in Dynamic Epistemic LogicHans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge. logcom, 18(4):563-588, 2008. [doi]

Introspective ForgettingHans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis. ausai 2008: 18-29 [doi]

Coalitions and announcementsThomas Ågotnes, Hans P. van Ditmarsch. atal 2008: 673-680 [doi]

2007

Cyclically closed pattern classes of permutationsMichael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton, D. J. McCaughan, C. W. Monteith. ajc, 38:87-100, 2007. [doi]

What can we achieve by arbitrary announcements?: A dynamic take on Fitch s knowabilityPhilippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima. tark 2007: 42-51 [doi]

A Tableau Method for Public Announcement LogicsPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. tableaux 2007: 43-59 [doi]

My beliefs about your beliefs: a case study in theory of mind and epistemic logicHans P. van Ditmarsch, Willem Adrian Labuschagne. synthese, 155(2):191-209, 2007. [doi]

Dynamic Epistemic Logic and Knowledge PuzzlesHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. iccS 2007: 45-58 [doi]

Editorial Tools for Teaching Logic Hans P. van Ditmarsch, Mara Manzano. igpl, 15(4):289-292, 2007. [doi]

Comments to logics of public communications Hans P. van Ditmarsch. synthese, 158(2):181-187, 2007. [doi]

Optimal Regression for Reasoning about Knowledge and ActionsHans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. AAAI 2007: 1070

Optimal Regression for Reasoning about Knowledge and ActionsHans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. Dagstuhl 2007: [doi]

ForewordHans P. van Ditmarsch, Andreas Herzig. jancl, 17(2):125-128, 2007. [doi]

2006

Model Checking Russian CardsHans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan. ENTCS, 149(2):105-123, 2006. [doi]

The Secret of My SuccessHans P. van Ditmarsch, Barteld P. Kooi. synthese, 153(2):339, 2006. [doi]

The Secret of My SuccessHans P. van Ditmarsch, Barteld P. Kooi. synthese, 151(2):201-232, 2006. [doi]

The Logic of PitHans P. van Ditmarsch. synthese, 149(2):343-374, 2006. [doi]

2005

Sorting ClassesMichael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Chris C. Handley, Derek A. Holton, D. J. McCaughan, Hans P. van Ditmarsch. combinatorics, 12, 2005. [doi]

Safe communication for card players by combinatorial designs for two-step protocolsMichael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley. ajc, 33:33-46, 2005. [doi]

Permuting machines and priority queuesRobert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton, D. J. McCaughan. TCS, 349(3):309-317, 2005. [doi]

Dynamic epistemic logic with assignmentHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. atal 2005: 141-148 [doi]

Belief change and dynamic logicHans P. van Ditmarsch. Dagstuhl 2005: [doi]

Model Checking Sum and ProductHans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge. ausai 2005: 790-795 [doi]

The case of the hidden handHans P. van Ditmarsch. jancl, 15(4):437-452, 2005.

Prolegomena to Dynamic Logic for Belief RevisionHans P. van Ditmarsch. synthese, 147(2):229-275, 2005. [doi]

2004

Restricted permutations and queue jumpingMichael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton. DM, 287(1-3):129-133, 2004. [doi]

Public Announcements and Belief ExpansionHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. aiml 2005: 335-346 [doi]

Some Game Theory of PitHans P. van Ditmarsch. pricai 2004: 946-947 [doi]

2003

2002

Descriptions of Game ActionsHans P. van Ditmarsch. jolli, 11(3):349-365, 2002.

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Hans P. van Ditmarsch'

Viewing Publication 1 - 97 from 97

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Hans P. van Ditmarsch'

Viewing Publication 1 - 97 from 97

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1