Hoppa till sidans huvudinnehåll

R-CALCULUS: A Logic of Belief Revision

Häftad, Engelska, 2022

AvWei Li,Yuefei Sui

1 369 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)


It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined).

Produktinformation

  • Utgivningsdatum2022-11-03
  • Mått155 x 235 x undefined mm
  • FormatHäftad
  • SpråkEngelska
  • SeriePerspectives in Formal Induction, Revision and Evolution
  • Antal sidor200
  • FörlagSpringer Verlag, Singapore
  • ISBN9789811629464
Hoppa över listan

Mer från samma författare

Ethnoburb

Ethnoburb

Wei Li

1 239 kr