A new deduction system for deciding validity in modal logic K

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiA new deduction system for deciding validity in modal logic K
Adres internetowyhttp://jigpal.oxfordjournals.org/content/19/2/425
Tytuł czasopismaLOGIC JOURNAL OF THE IGPL
Mediumpublikacja internetowa
Tom19
Zeszyt2
Rok wydania2011
Od strony425
Do strony434
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2011

Lista autorów
  
 1. Joanna Golińska-Pilarek, Zakład Logiki [Współautor]
 2. Emilio Muñoz-Velasco, Jednostka zewnetrzna [Współautor]
 3. Angel Mora-Bonilla, Jednostka zewnetrzna [Współautor]