The Complexity of Reasoning with Boolean Modal Logic

From International Center for Computational Logic

Toggle side column

The Complexity of Reasoning with Boolean Modal Logic

Carsten LutzCarsten Lutz,  Ulrike SattlerUlrike Sattler
The Complexity of Reasoning with Boolean Modal Logic


Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logic
Advances in Modal Logic 2000 (AiML 2000), 2000
@inproceedings{ LutzSattler-AiML-2000,
  address = {Leipzig, Germany},
  author = {C. {Lutz} and U. {Sattler}},
  booktitle = {Advances in Modal Logic 2000 (AiML 2000)},
  note = {Final version appeared in Advanced in Modal Logic Volume 3, 2001.},
  title = {The Complexity of Reasoning with Boolean Modal Logic},
  year = {2000},
}