Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Labelled sequent calculi"'
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.
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
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.
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030351656
AI*IA
AIIA 2019: 18th International Conference of the Italian Association for Artificial Intelligence
AIIA 2019: 18th International Conference of the Italian Association for Artificial Intelligence, Nov 2019, Rende, Italy
AI*IA
AIIA 2019: 18th International Conference of the Italian Association for Artificial Intelligence
AIIA 2019: 18th International Conference of the Italian Association for Artificial Intelligence, Nov 2019, Rende, Italy
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 \(\mathbf {E}\) and its extensions with axioms M, N, and C based on b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b02eee172eb38d53d102bf0d7e565af9
https://doi.org/10.1007/978-3-030-35166-3_12
https://doi.org/10.1007/978-3-030-35166-3_12
Publikováno v:
Advances in Modal Logic 2018
Advances in Modal Logic 2018, Aug 2018, Berne, Switzerland
Advances in Modal Logic 2018, Aug 2018, Berne, Switzerland
International audience; The classical cube of non-normal modal logics is considered, and an alternative neighbourhood semantics is given in which worlds are equipped with sets of pairs of neighbourhoods. The intuition is that the two neighbourhoods o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0978e86058acf1dec245abcd2ba20f0a
https://hal.archives-ouvertes.fr/hal-02076639/document
https://hal.archives-ouvertes.fr/hal-02076639/document
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.
Autor:
eugenio orlandelli, Corsi, G.
Publikováno v:
Scopus-Elsevier
We introduce labelled sequent calculi for quantified modal logics with non-rigid and non-denoting terms. We prove that these calculi have the good structural properties of G3-style calculi. In particular, all rules are height-preserving invertible, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::aaed66d370f3ce57bdff9cfd68a8023f
http://hdl.handle.net/11585/636250
http://hdl.handle.net/11585/636250
Publikováno v:
Advances in Modal Logics 2018
Advances in Modal Logics 2018, Aug 2018, Bern, Switzerland. pp.291-310
Advances in Modal Logics 2018, Aug 2018, Bern, Switzerland. pp.291-310
International audience; Lewis' Logic V is the fundamental logic of counterfactuals. Its proof theory is here investigated by means of two sequent calculi based on the connective of comparative plausibility. First, a labelled calculus is defined on th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f3009f240be5c4362767563a76556321
https://hal.science/hal-02077043
https://hal.science/hal-02077043
Autor:
Sara Negri
Publikováno v:
Logica Universalis. 8:25-60
Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs ba
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf88c1b2f6c0f560911e4c1313a61d89
https://doi.org/10.1007/s11787-014-0097-1
https://doi.org/10.1007/s11787-014-0097-1
Autor:
Corsi, G., eugenio orlandelli
Publikováno v:
Scopus-Elsevier
Indexed epistemic logics constitute a well-structured class of quantified epistemic logics with great expressive power and a well-behaved semantics based on the notion of epistemic transition model. It follows that they generalize term-modal logics.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c07f5ed05c284b330adf2ddcad2d1fe7
http://hdl.handle.net/11585/578172
http://hdl.handle.net/11585/578172