Facet browsing currently unavailable
Page 1 of 38 results
Sort by: relevance publication year
Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning JOURNAL ARTICLE published 2017 in Reports on Mathematical Logic |
Tableau-based translation from first-order logic to modal logic JOURNAL ARTICLE published 2021 in Reports on Mathematical Logic |
A note of the full generalized models of the extensions of a logic JOURNAL ARTICLE published 2017 in Reports on Mathematical Logic |
Non-generators in extensions of infinitary algebras JOURNAL ARTICLE published 28 November 2022 in Reports on Mathematical Logic |
A formal approach to Menger's theorem JOURNAL ARTICLE published 28 November 2022 in Reports on Mathematical Logic |
On the relation of negations in Nelson algebras JOURNAL ARTICLE published 2021 in Reports on Mathematical Logic |
Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95 - 100 JOURNAL ARTICLE published 2021 in Reports on Mathematical Logic |
Locally ordered topological spaces JOURNAL ARTICLE published 2020 in Reports on Mathematical Logic |
A note on Humberstone's constant Ω JOURNAL ARTICLE published 2021 in Reports on Mathematical Logic |
A Model Theory for the Potential Infinite JOURNAL ARTICLE published 28 November 2022 in Reports on Mathematical Logic |
On homomorphism-homogeneous point-line geometries JOURNAL ARTICLE published 2019 in Reports on Mathematical Logic |
On Rudimentarity, Primitive Recursivity and Representability JOURNAL ARTICLE published 2020 in Reports on Mathematical Logic |
Embeddability Between Orderings and GCH JOURNAL ARTICLE published 2021 in Reports on Mathematical Logic |
A Maximality Theorem for Continuous First Order Theories JOURNAL ARTICLE published 28 November 2022 in Reports on Mathematical Logic |
A New ω-Stable Plane JOURNAL ARTICLE published 2020 in Reports on Mathematical Logic |
Tableaux approach for contact logics interpreted over intervals JOURNAL ARTICLE published December 2023 in Reports on Mathematical Logic |
JOURNAL VOLUME published in Reports on Mathematical Logic |
Sets with no subsets of higher weak truth-table degree JOURNAL ARTICLE published 2018 in Reports on Mathematical Logic |
Corrigendum to “Sets with no subsets of higher weak truth-table degree”, Reports on Mathematical Logic, 53 (2018), 3–17 JOURNAL ARTICLE published 2020 in Reports on Mathematical Logic |
PBZ*-Lattices: Structure Theory and Subvarieties JOURNAL ARTICLE published 2020 in Reports on Mathematical Logic |