Permuting machines and priority queues von Aldred, R.E.L., Atkinson, M.D., van Ditmarsch, H.P., Handley, C.C., Holton, D.A., McCaughan, D.J.

Volltext

Model Checking Sum and Product von van Ditmarsch, H. P., Ruan, J., Verbrugge, L. C.

Volltext

Sum and Product in Dynamic Epistemic Logic von van Ditmarsch, H. P., Ruan, J., Verbrugge, R.

Volltext

Restricted permutations and queue jumping von Albert, M.H., Aldred, R.E.L., Atkinson, M.D., van Ditmarsch, H.P., Handley, C.C., Holton, D.A.

Volltext

Prolegomena to Dynamic Logic for Belief Revision von Van Ditmarsch, Hans P.

Volltext

The Logic of Pit von Van Ditmarsch, Hans P.

Volltext

Playing cards with Hintikka An introduction to dynamic epistemic logic von Ditmarsch, H. P., Van Der Hoek, W., Kooi, B. P.

Volltext

Model Checking Russian Cards von van Ditmarsch, H.P., van der Hoek, W., van der Meyden, R., Ruan, J.

Volltext

Dynamic Epistemic Logic and Knowledge Puzzles von van Ditmarsch, H. P., van der Hoek, W., Kooi, B. P.

Volltext

Semantic results for ontic and epistemic change von van Ditmarsch, H. P, Kooi, B. P

Volltext bestellen

Avoiding bias in cards cryptography von Atkinson, M. D, van Ditmarsch, H. P, Roehling, S

Volltext bestellen

Semantic results for ontic and epistemic change von van Ditmarsch, H P, Kooi, B P

Volltext

Avoiding bias in cards cryptography von Atkinson, M D, van Ditmarsch, H P, Roehling, S

Volltext

Tableaux for Public Announcement Logic von Balbiani, Philippe, van Ditmarsch, Hans, Herzig, Andreas, de Lima, Tiago

Volltext

Logic Training through Algorithmic Problem Solving von Ferreira, João Fernando, Mendes, Alexandra, Cunha, Alcino, Baquero, Carlos, Silva, Paulo, Barbosa, L. S., Oliveira, José Nuno Fonseca

Volltext

Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment von Zenker, Frank, Gottschall, Christian, Newen, Albert, van Riel, Raphael, Vosgerau, Gottfried

Volltext

Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned von Huertas, Antonia

Volltext

The SELL Project: A Learning Tool for E-Learning Logic von Huertas, Antonia, Humet, Josep M., López, Laura, Mor, Enric

Volltext

Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students von Gasquet, Olivier, Schwarzentruber, François, Strecker, Martin

Volltext

A Teaching Tool for Proving Equivalences between Logical Formulae von Lodder, Josje, Heeren, Bastiaan

Volltext