Siirry suoraan sisältöön
Revision, Acceptability and Context
Tallenna

Revision, Acceptability and Context

Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level.
Alaotsikko
Theoretical and Algorithmic Aspects
Painos
2010 ed.
ISBN
9783642264306
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
13.10.2012
Sivumäärä
386