Metadata Search Funding Data Link References Status API Help
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

Authors: Norihiro Kamide

Tableau-based translation from first-order logic to modal logic

JOURNAL ARTICLE published 2021 in Reports on Mathematical Logic

Authors: Tin Perkov | Luka Mikec

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

Authors: Paolo Lipparini

A formal approach to Menger's theorem

JOURNAL ARTICLE published 28 November 2022 in Reports on Mathematical Logic

Authors: Roberta Bonacina | Daniel Misselbeck-Wessel

On the relation of negations in Nelson algebras

JOURNAL ARTICLE published 2021 in Reports on Mathematical Logic

Authors: Conrado Gomez | Miguel Andres Marcos | Hernan Javier San Martin

Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95 - 100

JOURNAL ARTICLE published 2021 in Reports on Mathematical Logic

Authors: Mojtaba Moniri

Locally ordered topological spaces

JOURNAL ARTICLE published 2020 in Reports on Mathematical Logic

Authors: Piotr Pikul

A note on Humberstone's constant Ω

JOURNAL ARTICLE published 2021 in Reports on Mathematical Logic

Authors: Satoru Niki | Hitoshi Omori

On homomorphism-homogeneous point-line geometries

JOURNAL ARTICLE published 2019 in Reports on Mathematical Logic

Authors: Eva Jungabel

On Rudimentarity, Primitive Recursivity and Representability

JOURNAL ARTICLE published 2020 in Reports on Mathematical Logic

Authors: Saeed Salehi

Embeddability Between Orderings and GCH

JOURNAL ARTICLE published 2021 in Reports on Mathematical Logic

Authors: Rodrigo A. Freire

A Maximality Theorem for Continuous First Order Theories

JOURNAL ARTICLE published 28 November 2022 in Reports on Mathematical Logic

Authors: Nathanael Ackerman | Mary Leah Karker

A New ω-Stable Plane

JOURNAL ARTICLE published 2020 in Reports on Mathematical Logic

Authors: Gianluca Paolini

Tableaux approach for contact logics interpreted over intervals

JOURNAL ARTICLE published December 2023 in Reports on Mathematical Logic

Authors: Zafer Özdemir

JOURNAL VOLUME published in Reports on Mathematical Logic

A Model Theory for the Potential Infinite

JOURNAL ARTICLE published 28 November 2022 in Reports on Mathematical Logic

Authors: Matthias Eberl

PBZ*-Lattices: Structure Theory and Subvarieties

JOURNAL ARTICLE published 2020 in Reports on Mathematical Logic

Authors: Roberto Giuntini | Claudia Mureşan | Francesco Paoli

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

Authors: Patrizio Cintioli

Sets with no subsets of higher weak truth-table degree

JOURNAL ARTICLE published 2018 in Reports on Mathematical Logic