Asta Halkjær From: Formalizing a Seligman-Style Tableau System for Hybrid Logic (IJCAR B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-14

Formalizing a Seligman-Style Tableau System for Hybrid Logic (short paper)



Authors: Asta Halkjær From, Patrick Blackburn, and Jørgen Villadsen

Aired: 2020-02-01 17:15:00 CEST (UTC+2)