The Complexity of Reasoning with Boolean Modal Logic

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

The Complexity of Reasoning with Boolean Modal Logic

C. LutzC. Lutz,  U. SattlerU. Sattler

C. Lutz, U. 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},
}