Výsledky vyhledávání

Publikováno v: Lecture Notes in Computer Science, 156-160. Springer Verlag
STARTPAGE=156;ENDPAGE=160;ISSN=0302-9743;TITLE=Lecture Notes in Computer Science

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a851f2b67a899e3b3e853fc37a8f8d76
https://inria.hal.science/inria-00000321

Zobrazit plný text záznamu

Proof systems for the coalgebraic cover modality

Autor: Bílková, M., Palmigiano, A., Venema, Y., Areces, C., Goldblatt, R.

Publikováno v: Advances in Modal Logic 7, 1-21
STARTPAGE=1;ENDPAGE=21;TITLE=Advances in Modal Logic 7

We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a sound and complete Hilbert-style axiomatization. Moreover, we give a two-sided s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::7a5b96bb2cc5fbe098f8d8dd6e109731
https://dare.uva.nl/personal/pure/en/publications/proof-systems-for-the-coalgebraic-cover-modality(bf97f4e0-2bcb-4f53-9926-21777f230b2e).html

Zobrazit plný text záznamu

Completeness of the finitary Moss logic

Autor: Kupke, C., Kurz, A., Venema, Y., Areces, C., Goldblatt, R.

Publikováno v: Advances in Modal Logic 7, 193-217
STARTPAGE=193;ENDPAGE=217;TITLE=Advances in Modal Logic 7

We give a sound and complete derivation system for the valid formulas in the finitary version of Moss' coalgebraic logic, for coalgebras of arbitrary type.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::0d2d9837a8cbf2c1260f310d4dae2632
https://dare.uva.nl/personal/pure/en/publications/completeness-of-the-finitary-moss-logic(9c524a23-e1a0-43f0-b82b-abe0f0c513a2).html

Zobrazit plný text záznamu

Three 13th-century views of quantified modal logic

Autor: Uckelman, S.L., Goldblatt, R., Areces, C.

Publikováno v: Advances in modal logic, 7, 389-406
Advances in Modal Logic 7, 389-406
STARTPAGE=389;ENDPAGE=406;TITLE=Advances in Modal Logic 7

There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study three 13th-century works on modal logic and give two examples of how the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8376f3e785ce746a872c20b27cc11bf5
https://research.tilburguniversity.edu/en/publications/808f9a49-8f44-427b-9152-21f75bf1a638

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání