Sobre cuadrados y rombos
Modal logic is an active field of research that attracts the attention of scholars from quite diverse disciplines such as philosophy, linguistics, mathematics or computer sciences. These pages are intended to be the first open access basic textbook on modal logic written in Spanish. It is characteri...
Պահպանված է:
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Online |
| Լեզու: | իսպաներեն |
| Հրապարակվել է: |
UMA Editorial (Universidad de Málaga)
2025
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | https://directory.doabooks.org/handle/20.500.12854/163124 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| _version_ | 1869513823526846464 |
|---|---|
| author | Burrieza Muñiz, Alfredo Yuste-Ginel, Antonio |
| author_browse | Burrieza Muñiz, Alfredo Yuste-Ginel, Antonio |
| author_facet | Burrieza Muñiz, Alfredo Yuste-Ginel, Antonio |
| author_sort | Burrieza Muñiz, Alfredo |
| collection | Directory of Open Access Books |
| description | Modal logic is an active field of research that attracts the attention of scholars from quite diverse disciplines such as philosophy, linguistics, mathematics or computer sciences. These pages are intended to be the first open access basic textbook on modal logic written in Spanish. It is characterised by its introductory character, meaning that it has been designed to be comprehensible to any person with a minimal background in logic. Moreover, we have tried our best in making it a didactic writing, by filling some explicative gaps that more advanced books leave intentionally.
The book is divided into a preface, five chapters and an appendix. The preface contains a presentation of the book as well as the needed formal background. In Chapter 1, we introduce the notion of athletic modals (namely, necessity, possibility, impossibility and contingency) and we explain how they can be mutually defined from an intuitive point of view. The language and semantics of propositional modal logic are covered in Chapter 2. Chapter 3, in turn, proposes an axiomatic approach to some of the most well-known normal modal logics. Chapters 4 and 5, which can be read independently from each other, are devoted to two different methods to prove the validity of formal modal arguments. Chapter 4 focuses on modal tableaux, an automated proof method that also solves the satisfiability problem of finite sets of modal formulas. On its side, Chapter 5 introduces Jaskowski/Fitch style natural deduction calculi for the studied modal logics. The appendix contains solutions to all the exercises proposed throughout the book. |
| format | Online |
| id | doab-20.500.12854ir-163124 |
| institution | Directory of Open Access Books |
| language | spa |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | UMA Editorial (Universidad de Málaga) |
| publisherStr | UMA Editorial (Universidad de Málaga) |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1631242025-07-29T09:28:03Z Sobre cuadrados y rombos Burrieza Muñiz, Alfredo Yuste-Ginel, Antonio Lógica modal Semántica de Kripke Semántica relacional Mundos posibles Demostración automática Tableaux Deducción natural Lógicas no-clásicas Lógica modal proposicional thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic Modal logic is an active field of research that attracts the attention of scholars from quite diverse disciplines such as philosophy, linguistics, mathematics or computer sciences. These pages are intended to be the first open access basic textbook on modal logic written in Spanish. It is characterised by its introductory character, meaning that it has been designed to be comprehensible to any person with a minimal background in logic. Moreover, we have tried our best in making it a didactic writing, by filling some explicative gaps that more advanced books leave intentionally. The book is divided into a preface, five chapters and an appendix. The preface contains a presentation of the book as well as the needed formal background. In Chapter 1, we introduce the notion of athletic modals (namely, necessity, possibility, impossibility and contingency) and we explain how they can be mutually defined from an intuitive point of view. The language and semantics of propositional modal logic are covered in Chapter 2. Chapter 3, in turn, proposes an axiomatic approach to some of the most well-known normal modal logics. Chapters 4 and 5, which can be read independently from each other, are devoted to two different methods to prove the validity of formal modal arguments. Chapter 4 focuses on modal tableaux, an automated proof method that also solves the satisfiability problem of finite sets of modal formulas. On its side, Chapter 5 introduces Jaskowski/Fitch style natural deduction calculi for the studied modal logics. The appendix contains solutions to all the exercises proposed throughout the book. Published La lógica modal es un campo de investigación vivo que reúne a personas provenientes de disciplinas tan diversas como la filosofía, la lingüística, la matemática o las ciencias de la computación. Este libro pretende ser el primer manual en español y en acceso abierto sobre lógica modal básica proposicional. Se caracteriza por su enfoque introductorio, es decir, sirve como primer acercamiento al tema para cualquier persona con un trasfondo mínimo en lógica. Además, pretende ser didáctico, en tanto que intentamos cubrir los huecos explicativos que otros libros más avanzados suelen dejar. La obra está estructurada en un prólogo, cinco capítulos y un apéndice. El prólogo contiene, además de una presentación del libro, unos preliminares formales. En el capítulo 1, introducimos los modos aléticos clásicos (lo necesario, lo posible, lo imposible y lo contingente) y su interdefinibilidad desde un punto de vista intuitivo. El lenguaje de la lógica modal proposicional, así como su semántica de mundos posibles quedan cubiertos en el capítulo 2. El capítulo 3 propone un acercamiento axiomático a algunas de las lógicas modales normales más conocidas. Los capítulos 4 y 5, independientes entre sí, recogen dos métodos distintos para demostrar la validez de argumentos modales. El capítulo 4 se centra en los tableaux modales, un método de demostración automático que permite además lidiar con la cuestión de la satisfacibilidad de conjuntos finitos de fórmulas. Por su parte, el capítulo 5, introduce cálculos de deducción natural (tipo Jaskowski/Fitch) para las lógicas estudiadas. El apéndice contiene las soluciones a todos los ejercicios propuestos a lo largo del libro. 2025-07-29T09:28:00Z 2025-07-29T09:28:00Z 2024-12-04 book https://directory.doabooks.org/handle/20.500.12854/163124 spa application/pdf Attribution-NonCommercial-NoDerivatives 4.0 International https://monografias.uma.es/index.php/mumaed/catalog/view/185/277/2092 UMA Editorial (Universidad de Málaga) 10.24310/mumaedmumaed.185 La lógica modal es un campo de investigación vivo que reúne a personas provenientes de disciplinas tan diversas como la filosofía, la lingüística, la matemática o las ciencias de la computación. Este libro pretende ser el primer manual en español y en acceso abierto sobre lógica modal básica proposicional. Se caracteriza por su enfoque introductorio, es decir, sirve como primer acercamiento al tema para cualquier persona con un trasfondo mínimo en lógica. Además, pretende ser didáctico, en tanto que intentamos cubrir los huecos explicativos que otros libros más avanzados suelen dejar. La obra está estructurada en un prólogo, cinco capítulos y un apéndice. El prólogo contiene, además de una presentación del libro, unos preliminares formales. En el capítulo 1, introducimos los modos aléticos clásicos (lo necesario, lo posible, lo imposible y lo contingente) y su interdefinibilidad desde un punto de vista intuitivo. El lenguaje de la lógica modal proposicional, así como su semántica de mundos posibles quedan cubiertos en el capítulo 2. El capítulo 3 propone un acercamiento axiomático a algunas de las lógicas modales normales más conocidas. Los capítulos 4 y 5, independientes entre sí, recogen dos métodos distintos para demostrar la validez de argumentos modales. El capítulo 4 se centra en los tableaux modales, un método de demostración automático que permite además lidiar con la cuestión de la satisfacibilidad de conjuntos finitos de fórmulas. Por su parte, el capítulo 5, introduce cálculos de deducción natural (tipo Jaskowski/Fitch) para las lógicas estudiadas. El apéndice contiene las soluciones a todos los ejercicios propuestos a lo largo del libro. 10.24310/mumaedmumaed.185 258ecd78-df9e-4b9e-a9bd-5920eb4daded 212 Universidad de Málaga open access |
| spellingShingle | Lógica modal Semántica de Kripke Semántica relacional Mundos posibles Demostración automática Tableaux Deducción natural Lógicas no-clásicas Lógica modal proposicional thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic Burrieza Muñiz, Alfredo Yuste-Ginel, Antonio Sobre cuadrados y rombos |
| title | Sobre cuadrados y rombos |
| title_full | Sobre cuadrados y rombos |
| title_fullStr | Sobre cuadrados y rombos |
| title_full_unstemmed | Sobre cuadrados y rombos |
| title_short | Sobre cuadrados y rombos |
| title_sort | sobre cuadrados y rombos |
| topic | Lógica modal Semántica de Kripke Semántica relacional Mundos posibles Demostración automática Tableaux Deducción natural Lógicas no-clásicas Lógica modal proposicional thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic |
| topic_facet | Lógica modal Semántica de Kripke Semántica relacional Mundos posibles Demostración automática Tableaux Deducción natural Lógicas no-clásicas Lógica modal proposicional thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic |
| url | https://directory.doabooks.org/handle/20.500.12854/163124 |
| work_keys_str_mv | AT burriezamunizalfredo sobrecuadradosyrombos AT yusteginelantonio sobrecuadradosyrombos |