๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Harsanyi's impartial observer theorem with a restricted domain

โœ Scribed by Zvi Safra; Einat Weissengrin


Publisher
Springer
Year
2003
Tongue
English
Weight
225 KB
Volume
20
Category
Article
ISSN
0176-1714

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Decision procedures for elementary subla
โœ M. Breban; A. Ferro; E. G. Omodeo; J. T. Schwartz ๐Ÿ“‚ Article ๐Ÿ“… 1981 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 801 KB

In this paper we describe a simple semi-decision algorithm applicable to a wide class of quantified formulas. The formulas we consider are built using the propositional connectives from prenex formulas in a language for which a decision algorithm for the corresponding quantifier-free theory T is ava