𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note on Chronological Logic

✍ Scribed by NICHOLAS RESCHER; JAMES W. GARSON


Book ID
114916121
Publisher
Wiley (Blackwell Publishing)
Year
2008
Tongue
English
Weight
247 KB
Volume
33
Category
Article
ISSN
1755-2567

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 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

FURTHER NOTES ON THE CHRONOLOGY
πŸ“‚ Article πŸ“… 2003 πŸ› Institute of Classical Studies, University of Lond 🌐 English βš– 650 KB
A Note on Graded Modal Logic
✍ Maarten de Rijke πŸ“‚ Article πŸ“… 2000 πŸ› Springer Netherlands 🌐 English βš– 397 KB