𝔖 Bobbio Scriptorium
✦   LIBER   ✦

First-Order Definability in Modal Logic

✍ Scribed by R. I. Goldblatt


Book ID
124972503
Publisher
Association for Symbolic Logic
Year
1975
Tongue
English
Weight
178 KB
Volume
40
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Universal First-Order Definability in Mo
✍ R. E. Jennings; D. K. Johnston; P. K. Schotch πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs

First-Order Classical Modal Logic
✍ Horacio ArlΓ³-Costa; Eric Pacuit πŸ“‚ Article πŸ“… 2006 πŸ› Springer Netherlands 🌐 English βš– 377 KB
Abstraction in First-Order Modal Logic
✍ ROBERT C. STALNAKER; RICHMOND H. THOMASON πŸ“‚ Article πŸ“… 2008 πŸ› Wiley (Blackwell Publishing) 🌐 English βš– 208 KB
Decidable Fragments of First-Order Modal
✍ Wolter, Frank (author);Zakharyaschev, Michael (author) πŸ“‚ Article πŸ“… 2001 πŸ› Cambridge University Press (CUP) 🌐 English βš– 492 KB