Formalizing a Seligman-Style Tableau System for Hybrid Logic

Asta Halkjær From

Research output: Contribution to journalJournal articleResearchpeer-review

43 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formalizing a Seligman-Style Tableau System for Hybrid Logic'. Together they form a unique fingerprint.

Computer Science