DMCA
Why is modal logic so robustly decidable? (1996)
by
Moshe Y. Vardi
| Venue: | OF DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, AMERICAN MATHEMATICAL SOCIETY |
| Citations: | 132 - 2 self |
BibTeX
@INPROCEEDINGS{Vardi96whyis,
author = {Moshe Y. Vardi},
title = {Why is modal logic so robustly decidable?},
booktitle = {OF DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, AMERICAN MATHEMATICAL SOCIETY},
year = {1996},
pages = {149--184},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
