Formalizing a Seligman-Style Tableau System for Hybrid Logic

Asta Halkjær From, Patrick Rowan Blackburn, Jørgen Villadsen

Research output: Contribution to conferencePaperResearchpeer-review

Original languageEnglish
Publication date2020
Publication statusAccepted/In press - 2020
EventInternational Joint Conference on Automated Reasoning 2020 - Le Centre de Colloques, Paris, France
Duration: 29 Jun 20206 Jul 2020
https://ijcar2020.org/

Conference

ConferenceInternational Joint Conference on Automated Reasoning 2020
LocationLe Centre de Colloques
CountryFrance
CityParis
Period29/06/202006/07/2020
Internet address

Keywords

  • Hybrid logic
  • Tableaus
  • Isabell/HOL
  • Proof assistant
  • Seligman-style

Cite this

Halkjær From, A., Blackburn, P. R., & Villadsen, J. (Accepted/In press). Formalizing a Seligman-Style Tableau System for Hybrid Logic. Paper presented at International Joint Conference on Automated Reasoning 2020, Paris, France.