Référence:Modal Logic

Éditions

modifier

Cambridge University Press

modifier
@Book{
Title = {Modal Logic},
Language = {anglais},
Publisher = {Cambridge University Press},
Year = {2001},
ISBN = {0-521-52714-7},
}