Completeness theorems for reactive modal logics

Dov Gabbay

Research output: Contribution to journalArticlepeer-review

4 Scopus citations
Original languageEnglish
Pages (from-to)81-129
Number of pages49
JournalAnnals of Mathematics and Artificial Intelligence
Volume66
Issue number1
DOIs
StatePublished - Dec 2012

Keywords

  • Modal logic
  • Temporal logic

Cite this