Clausal Tableaux for Multimodal Logics of Belief
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Clausal Tableaux for Multimodal Logics of Belief
Adres internetowy
Tytuł czasopisma
FUNDAMENTA INFORMATICAE
Medium
publikacja drukowana
Tom
94
Zeszyt
1
Rok wydania
2009
Od strony
21
Do strony
40
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2009
Lista autorów
1.
Rajeev Gore,
Jednostka zewnetrzna
[
Współautor
]
2.
Anh Linh Nguyen
,
Zakład Logiki Stosowanej
[
Współautor
]