×

zbMATH — the first resource for mathematics

A practical decision method for propositional dynamic logic (preliminary report). (English) Zbl 1283.03066
Proceedings of the 10th annual ACM symposium on theory of computing, STOC’78, San Diego, CA, USA, May 1–3, 1978. New York, NY: Association for Computing Machinery (ACM). 326-337 (1978).

MSC:
03B70 Logic in computer science
03B45 Modal logic (including the logic of norms)
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
PDF BibTeX XML Cite
Full Text: DOI