Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Countermodel generation"'
Publikováno v:
Intelligenza Artificiale
Intelligenza Artificiale, 2021, 14 (2), pp.215-229. ⟨10.3233/IA-200052⟩
Intelligenza Artificiale, 2021, 14 (2), pp.215-229. ⟨10.3233/IA-200052⟩
International audience; In this work we present PRONOM, a theorem prover and countermodel generator for non-normal modal logics. PRONOM implements some labelled sequent calculi recently introduced for the basic system E and its extensions with axioms
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::24e0fd47996b9ec668182266623b55f8
http://hdl.handle.net/2318/1795576
http://hdl.handle.net/2318/1795576
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.