Local Variations on a Loose Theme: Modal Logic and Decidability
by
Maarten Marx
,
Yde Venema
| Citations: | 8 - 1 self |
BibTeX
@MISC{Marx_localvariations,
author = {Maarten Marx and Yde Venema},
title = { Local Variations on a Loose Theme: Modal Logic and Decidability},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This chapter is about decidability and complexity issues in modal logic; more specifically, we confine ourselves to satisfiability (and the complementary validity) problems. The satisfiability problem is the following: for a fixed class of
