Positive fragments of coalgebraic logics
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunctio...
| Հիմնական հեղինակներ: | , , |
|---|---|
| Ձևաչափ: | Հոդված |
| Լեզու: | English |
| Հրապարակվել է: |
Logical Methods in Computer Science e.V.
2015-09-01
|
| Շարք: | Logical Methods in Computer Science |
| Խորագրեր: | |
| Առցանց հասանելիություն: | https://lmcs.episciences.org/1594/pdf |