Gå direkt till innehållet
Revision, Acceptability and Context
Spara

Revision, Acceptability and Context

Lägsta pris på PriceRunner
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.
Undertitel
Theoretical and Algorithmic Aspects
Upplaga
2010 ed.
ISBN
9783642264306
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-10-13
Sidor
386