Terminating Tableau Calculi for Hybrid Logics extending K

Publication: Research - peer-reviewConference article – Annual report year: 2009

View graph of relations

Original languageEnglish
JournalElectronical Notes in Theoretical Computer Science
Publication date2009
Volume231
Issue25 March 2009
Pages21-39
ISSN1571-0661
DOIs
StatePublished

Conference

ConferenceMethods for Modalities
Number5
Period01/01/07 → …
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 3411946