𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A functional approach for temporal( imes)modal logics

✍ Scribed by Alfredo Burrieza; Inma P. de Guzmán

Publisher
Springer-Verlag
Year
2003
Tongue
English
Weight
475 KB
Volume
39
Category
Article
ISSN
0001-5903

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