Clausal Tableaux for Multimodal Logics of Belief

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiClausal Tableaux for Multimodal Logics of Belief
Adres internetowy
Tytuł czasopismaFUNDAMENTA INFORMATICAE
Mediumpublikacja drukowana
Tom94
Zeszyt1
Rok wydania2009
Od strony21
Do strony40
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

Lista autorów
  
 1. Rajeev Gore, Jednostka zewnetrzna [Współautor]
 2. Anh Linh Nguyen, Zakład Logiki Stosowanej [Współautor]