Diamonds and Defaults
Editat de Maarten De Rijkeen Limba Engleză Paperback – 15 dec 2010
Preț: 913.39 lei
Preț vechi: 1113.89 lei
-18%
Puncte Express: 1370
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9789048142866
ISBN-10: 9048142865
Pagini: 404
Ilustrații: IX, 388 p. 3 illus.
Dimensiuni: 152 x 229 x 22 mm
Greutate: 0.58 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: Springer
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9048142865
Pagini: 404
Ilustrații: IX, 388 p. 3 illus.
Dimensiuni: 152 x 229 x 22 mm
Greutate: 0.58 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: Springer
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
Beyond Accessibility: Functional Models for Modal Logic.- Modal Logic and Attribute Value Structures.- Interpreting Modal Natural Deduction in Type Theory.- Modal Translations in K and D.- Logical Omniscience and Inconsistent Belief.- Cautious Backtracking in Truth Maintenance Systems.- How Completeness and Correspondence Theory Got Married.- Dyadic Modalities and Lambek Calculus.- A Logic with Progressive Tenses.- The Complexity of Propositional Tense Logics.- On Total Awareness Logics.- Completeness via Completeness: Since and Until.- The Feasibility of Defeat in Defeasible Reasoning.