Tableaux for constructive concurrent dynamic logic

This is the first paper on constructive concurrent dynamic logic (CCDL). For the first time, either for concurrent or sequential dynamic logic, we give a satisfactory treatment of what statements are forced to be true by partial information about the underlying computer. Dynamic logic was developed...

Celý popis

Podrobná bibliografie

Vydáno v:	Annals of pure and applied logic Ročník 135; číslo 1; s. 1 - 72
Hlavní autoři:	Wijesekera, Duminda, Nerode, Anil
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.09.2005
ISSN:	0168-0072
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!