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

The problem of logical omniscience, I

โœ Scribed by Robert Stalnaker

Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
928 KB
Volume
89
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Translations of Logical Formulas and the
Translations of Logical Formulas and the Equiconsistency Problem
โœ Andrei A. Kuzichev ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 369 KB

## Abstract A translation of formulas in a language __L__~1~ to formulas in a language __L__~2~ is a mapping which preserves the parameters and commutes with the substitution prefix, the propositional connectives and the quantifiers. Every translation generates a corresponding transformation of the