Skip to main navigation Skip to search Skip to main content

Selective filtration in modal logic Part A. Semantic tableaux method

  • DOVM GABBAY
  • Hebrew University of Jerusalem
  • University of Oxford

Research output: Contribution to journal › Article › peer-review

7 Scopus citations
Original languageEnglish
Pages (from-to)323-330
Number of pages8
JournalTheoria
Volume36
Issue number3
DOIs
StatePublished - Dec 1970
Externally publishedYes

Cite this