Skip to main content
Book Chapter

Fibred Modal Tableaux

  • Gabbay D
  • Governatori G
DOI: 10.1007/978-94-011-4040-9_7
N/ACitations
Citations of this article
5Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We describe a general and uniform tableaumethodology for multi-modal logics arising fromGabbay's methodology of fibring and Governatori'slabelled tableau system \KEM.

Cite

CITATION STYLE

APA

Gabbay, D. M., & Governatori, G. (2000). Fibred Modal Tableaux (pp. 161–191). https://doi.org/10.1007/978-94-011-4040-9_7

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free