Found 7 Documents (Results 1–7)
Dynamics of mental activity. (English) Zbl 1196.03079
A theory of permission based on the notion of derogation. (English) Zbl 1198.03035
Reviewer: David Makinson (London)
MSC:
03B60
Group announcement logic. (English) Zbl 1200.03015
Reviewer: Éric Martin (Sydney)
Filter Results by …
all
top 5
Author
- Ågotnes, Thomas (1)
- Arrazola Ramírez, José Ramón Enrique (1)
- Balbiani, Philippe (1)
- Berendsen, Jasper (1)
- Carballido, José Luis (1)
- Jansen, David N. (1)
- Kamide, Norihiro (1)
- Kordi, Ali (1)
- Miranker, Willard Lee (1)
- Moussavi, Ahmad (1)
- Osorio, Mauricio A. (1)
- Schmaltz, Julien (1)
- Seban, Pablo (1)
- Stolpe, Audun (1)
- Vaandrager, Frits W. (1)
- van Ditmarsch, Hans Pieter (1)
- Wansing, Heinrich Theodor (1)
- Zuckerman, Gregg J. (1)
Software
- Isabelle/HOL (1)
- Yices (1)
- Z (1)