Modal logic
Enregistré dans:
| Auteurs principaux: | Blackburn, Patrick, 1959-, Rijke, Maarten de (Auteur), Venema, Yde, 1963- (Auteur) |
|---|---|
| Format: | Livre papier |
| Sprog: | Anglais |
| Udgivet: |
Cambridge ; New York :
Cambridge University Press
cop. 2001.
|
| Serier: | Cambridge tracts in theoretical computer science
53 |
| Fag: | |
| Autres localisations: | Voir dans le Sudoc |
Lignende værker
-
An introduction to modal logic
(Livre papier)
Hughes, George Edward, 1918-, et autres
Methuen and Co., 1968 -
Modal logics
(Livre papier)
Feys, Robert, 1889-1961
E. Nauwelaerts, éditeur ; Gauthier-Villars, éditeur, 1965 -
Gentzen calculi for modal propositional logic
(Livre numérique)
Poggiolesi, Francesca, 1980- -
Specifying message passing and time-critical systems with temporal logic
(Livre numérique)
Koymans, Ron, 1959- -
Multi-Dimensional Modal Logic
(Livre numérique)
Marx, Maarten, 19..-, et autres

