𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on a signature system based on probabilistic logic

✍ Scribed by Ernst Leiss


Book ID
113162179
Publisher
Elsevier Science
Year
1980
Tongue
English
Weight
553 KB
Volume
11
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A note on imperative logic
✍ Hector Neri Castaneda πŸ“‚ Article πŸ“… 1955 πŸ› Springer Netherlands 🌐 English βš– 280 KB
A Note on Chronological Logic
✍ NICHOLAS RESCHER; JAMES W. GARSON πŸ“‚ Article πŸ“… 2008 πŸ› Wiley (Blackwell Publishing) 🌐 English βš– 247 KB
A note on Grzegorczyk's logic
✍ Emil JeΕ™Γ‘bek πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 71 KB

## Abstract Grzegorczyk's modal logic (Grz) corresponds to the class of upwards well‐founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively