𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Axiomatization of modal logic squares with distinguished diagonal

✍ Scribed by S. P. Kikot’

Book ID
110149788
Publisher
SP MAIK Nauka/Interperiodica
Year
2010
Tongue
English
Weight
735 KB
Volume
88
Category
Article
ISSN
0001-4346

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