𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modal Operators and Functional Completeness, II

✍ Scribed by S. K. Thomason

Book ID
124963655
Publisher
Association for Symbolic Logic
Year
1977
Tongue
English
Weight
204 KB
Volume
42
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Analyzing completeness of axiomatic func
Analyzing completeness of axiomatic functional systems for temporal Γ— modal logics
✍ Alfredo Burrieza; Inmaculada P. de GuzmΓ‘n; Emilio MuΓ±oz-Velasco πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 196 KB πŸ‘ 1 views

## Abstract In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective

Completeness and Complexity of Multi-mod
Completeness and Complexity of Multi-modal CTL
✍ Thomas Γ…gotnes; Wiebe van der Hoek; Michael Wooldridge πŸ“‚ Article πŸ“… 2009 πŸ› Elsevier Science 🌐 English βš– 338 KB