๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Coalgebraic Semantics for Positive Modal Logic

โœ Scribed by Alessandra Palmigiano


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
197 KB
Volume
82
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD
โœ Geir Waagbรธ; G. Waagbรธ ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 503 KB

## Abstract The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting fo

Full Models for Positive Modal Logic
โœ Ramon Jansana ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 267 KB