紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Many-valued semantics and modal logics/ edited by Marcelo Esteban Coniglio, Ekaterina Kubyshkina, Dmitry Zaitsev. |
其他題名: |
essays in honour of Yuriy Vasilievich Ivlev / |
其他作者: |
Ivlev, I͡Uriĭ Vasil'evich. |
出版者: |
Cham :Springer International Publishing : : 2024., |
面頁冊數: |
xvi, 323 p. :ill., digital ;24 cm. |
內容註: |
Part I: Translation of Quasi-matrix (quasi-functional) logic -- 1. Quasi-matrix (quasi-functional) logic (Yuriy Vasilievich Ivlev) -- Part II: Many-valued logics with indeterminacy -- 2. A Cartography of LFIs and Truth (Eduardo Barrio and Federico Pailos) -- 3. On Non-deterministic Functional Completeness (Arnon Avron) -- 4. Non-deterministic logic of generalized classical truth values (Oleg Grigoriev and Yaroslav Petrukhin) -- 5. Tableau systems for some Ivlev-like (quantified) modal logics (Marcelo E. Coniglio, Luis Fari˜nas del Cerro, and Newton M. Peron) -- 6. Plurivaluationism, Semantic Nondeterminism and Communication (Nicholas J.J. Smith) -- Part III: Many-valued and modal logics -- 7. Algebras and relational frames for G¨odel modal logic and some of its extensions (Tommaso Flaminio, Lluis Godo, Paula Mench'on, and Ricardo O. Rodriguez) -- 8. Many-Valued Modalities and Paraconsistency (Juliana Bueno-Soler, Walter Carnielli, and Abilio Rodrigues) -- 9. On Ivlev's semantics for modality (Hitoshi Omori and Daniel Skurt) -- 10. Valuation semantics for some systems of non-normal modal logic (Cezar A. Mortari) -- 11. Efficient reasoning about knowledge and common knowledge (Andreas Herzig and Elise Perrotin) |
Contained By: |
Springer Nature eBook |
標題: |
Logic, Symbolic and mathematical. - |
電子資源: |
https://doi.org/10.1007/978-3-031-56595-3 |
ISBN: |
9783031565953 |