Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL

We study a version of Propositional Dynamic Logic (PDL) that we call Dynamic Logic of Propositional Assignments (DL-PA). The atomic programs of DL-PA are assignments of propositional variables to true or to false. We show that DL-PA behaves better than PDL, having e.g. compactness and eliminability...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science s. 143 - 152
Hlavní autori:	Balbiani, Philippe, Herzig, Andreas, Troquard, Nicolas
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.06.2013
Predmet:	Abstracts Complexity theory Computational modeling Cost accounting Handheld computers Model checking Radiation detectors
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!