Search
Add filters:
Use filters to refine the search results.
Item hits:
| Issue Date | Title | Author(s) |
|---|---|---|
| 12-Jun-2023 | Un primer contacte amb la lògica temporal | Amaro Velasco, Emma |
| 2020 | Proof theory of the calculus of relations | Gentili, Stefano |
| 1996 | Contribucions a la teoria de models de la lògica sense identitat | Dellunde i Clavé, Pilar |
| Dec-2020 | Anaphoric Dependence and Logical Form | García-Carpintero, Manuel |
| 19-May-2021 | The representation of gappy sentences in four-valued semantics | Martínez Fernández, José, 1969-; Martí, Genoveva |
| 19-May-2021 | The representation of gappy sentences in four-valued semantics | Martínez Fernández, José, 1969-; Martí, Genoveva |
| 22-May-2023 | Logical Localism in the Context of Combining Logics | Benito-Monsalvo, Carlos |
| 2018 | When the laws of logic meet the logic of laws | del Castillo Tierz, Jorge del |
| 2024 | On interval logics and stopwatches in model-checking real-time systems | López Chamosa, Marina |
| 2023 | Localism in Logic: an Analysis of Chunk and Permeate Methodology | Benito Monsalvo, Carlos |
Discover
Subject
Date issued