𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Frege systems for extensible modal logics

✍ Scribed by Emil Jeřábek

Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
307 KB
Volume
142
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modal sequents for normal modal logics
Modal sequents for normal modal logics
✍ Claudio Cerrato 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 433 KB

## Abstract We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut elimination theorem for the basic system K, so as completeness theorems (in the new style) both for K itself and for its most popular enrichments. MSC: 03B45, 03

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