The Complexity of Reasoning with Boolean Modal Logic

PublikationenPublications

• Nach AutorBy Author
  • Carsten LutzCarsten Lutz
  • Ulrike SattlerUlrike Sattler
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

The Complexity of Reasoning with Boolean Modal Logic

Carsten LutzCarsten Lutz,  Ulrike SattlerUlrike Sattler

Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logic
Advances in Modal Logic 2000 (AiML 2000), 2000

• Details
• Bibtex

• Bemerkung: Note: Final version appeared in Advanced in Modal Logic Volume 3, 2001.
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@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},
}