Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiDual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
Adres internetowy
Tytuł czasopismaINTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS
Mediumpublikacja drukowana
Tom
Zeszyt86(10/11)
Rok wydania2009
Od strony1707
Do strony1718
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

Lista autorów
  
 1. Joanna Golińska-Pilarek, Zakład Logiki [Współautor]
 2. Emilio Munoz-Velasco, Jednostka zewnetrzna [Współautor]