Quantales as completions of ordered monoids: Revised semantics for Intuitionistic Linear Logic

Autor: Larchey-Wendling, D., Galmiche, D.

Publikováno v: In Electronic Notes in Theoretical Computer Science 2000 35:94-108

Target design for the LMJ

Autor: Holstein, Pierre-André, André, M., Casanova, M., Chaland, F., Charpin, C., Cherfils, C., Divol, L., Dumont, H., Galmiche, D., Giorla, J., Hallo, L., Laffite, S., Lours, L., Monteil, M.C., Mourenas, D., Poggi, F., Saillard, Y., Schurtz, G., Valadon, M., Vanderhaegen, D., Wagon, F.

Publikováno v: In Comptes Rendus de l'Academie des Sciences Series IV Physics 2000 1(6):693-704

About intuitionistic public announcement logic

Autor: Philippe Balbiani, Galmiche, D.

Publikováno v: Scopus-Elsevier
Proceedings 11th conference on Advances in Modal logic (AiML 2016) ; ISBN-13: 978-1-84890-201-5
11th conference on Advances in Modal logic (AiML 2016)
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.97-116
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp. 97-116

International audience; Public announcement logic (PAL) is a logic for reasoning about the dynamic of knowledge in a multi-agent system in which public announcements are made. Syntactically, public announcements are modal formulas. Semantically, they

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9b3e672b7010d774e22c9d8882dbfcff
https://oatao.univ-toulouse.fr/19190/

Hypersequent and labelled calculi for intermediate logics

Autor: Maffezioli, Paolo, Ciabattoni, Agata, Spendier, L., Galmiche, D., Larchey-Wendling, D.

Publikováno v: Automated reasoning with analytic tableaux and related methods, 81-96
STARTPAGE=81;ENDPAGE=96;TITLE=Automated reasoning with analytic tableaux and related methods

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::aa13a27adddfb90e28d797b656bffb07
https://research.rug.nl/en/publications/b8a12113-0b7e-4ed3-9ace-a54c5bf238d3

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.