𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on the axiomatisation of brouwersche modal logic

✍ Scribed by R. E. Jennings

Publisher
Springer Netherlands
Year
1981
Tongue
English
Weight
118 KB
Volume
10
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on non-monotonic modal logic
A note on non-monotonic modal logic
✍ Robert Stalnaker πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 832 KB

This paper, which began as a comment on a talk by Drew McDermott, 1 was completed in the summer of 1980. It circulated in typescript, but was not published at the time. A lot has happened in the study of nonmonotonic reasoning since that time, and the paper is now quite dated, but it is being publis

A note on the axiomatisation of real num
A note on the axiomatisation of real numbers
✍ Thierry Coquand; L. Henri Lombardi πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 86 KB πŸ‘ 2 views

## Abstract Is it possible to give an abstract characterisation of constructive real numbers? A condition should be that all axioms are valid for Dedekind reals in any topos, or for constructive reals in Bishop mathematics. We present here a possible first‐order axiomatisation of real numbers, whic

On a Certain System of Modal Logic
On a Certain System of Modal Logic
✍ Akira Nakamura πŸ“‚ Article πŸ“… 1965 πŸ› John Wiley and Sons 🌐 English βš– 205 KB πŸ‘ 1 views
A note on the logic of design
A note on the logic of design
✍ William Fawcett πŸ“‚ Article πŸ“… 1987 πŸ› Elsevier Science 🌐 English βš– 407 KB