𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Nullstellensätze — A Model Theoretic Framework

✍ Scribed by Volker Weispfenning

Publisher
John Wiley and Sons
Year
1977
Tongue
English
Weight
470 KB
Volume
23
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

NULLSTELLENSBTZE -

A MODEL THEORETIC FRAMEWORK by VOLKER WEISPFENNING in Heidelberg (BRD)

📜 SIMILAR VOLUMES

A Game-theoretic Model of Predator—Prey
A Game-theoretic Model of Predator—Prey Signaling
✍ Fernando Vega-Redondo; Oren Hasson 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 349 KB

We develop a model of strategic predator-prey interaction in which the latter has a certain range of actions available whose cost is inversely correlated with escape ability ("quality"). Under the assumption that each herd of prey is generated by random independent draws from the whole population, w

A Dynamic Game-theoretic Model of Parent
A Dynamic Game-theoretic Model of Parental Care
✍ JOHN M MCNAMARA; TAMÁS SZÉKELY; JAMES N WEBB; ALASDAIR I HOUSTON 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 302 KB

We present a model in which members of a mated pair decide whether to care for their o!spring or desert them. There is a breeding season of "nite length during which it is possible to produce and raise several batches of o!spring. On deserting its o!spring, an individual can search for a new mate. T

Reasoning tractably about explicit belie
Reasoning tractably about explicit belief: A model-theoretic approach
✍ Kwang Mong Sim 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 273 KB 👁 2 views

Existing epistemic logics such as the logic of implicit and explicit belief and the logic of awareness adopt a deducti¨e-theoretic approach for characterizing belief. In this approach, an agent represents the state of the world with a conjunction of axioms in its knowledge Ž . base KB and evaluates