Guillermo Badia

Rev. Symb. Log., 2024

A parametrized axiomatization for a large number of restricted second-order logics.

[BibT_eX]

[DOI]

John L. Bell

J. Log. Comput., 2024

Maximality of Logic without Identity.

[BibT_eX]

[DOI]

Xavier Caicedo

J. Symb. Log., 2024

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.

[BibT_eX]

[DOI]

CoRR, 2024

Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation.

[BibT_eX]

[DOI]

Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024

Logical Characterizations of Weighted Complexity Classes.

[BibT_eX]

[DOI]

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023

A Lindström theorem for intuitionistic first-order logic.

[BibT_eX]

[DOI]

Reihane Zoghifard

Ann. Pure Appl. Log., December, 2023

Editorial: Special issue in honour of John Newsome Crossley.

[BibT_eX]

[DOI]

Log. J. IGPL, November, 2023

Frame definability in finitely valued modal logics.

[BibT_eX]

[DOI]

Xavier Caicedo

Ann. Pure Appl. Log., July, 2023

Omitting types theorem in hybrid dynamic first-order logic with rigid symbols.

[BibT_eX]

[DOI]

Daniel Gaina

Tomasz Kowalski

Ann. Pure Appl. Log., 2023

2022

A 0-1 Law in Mathematical Fuzzy Logic.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2022

How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?

[BibT_eX]

[DOI]

Rev. Symb. Log., 2022

Maximality of bi-intuitionistic propositional logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

Paraconsistent Metatheory: New Proofs with Old Tools.

[BibT_eX]

[DOI]

Zach Weber

Patrick Girard

J. Philos. Log., 2022

Saturated models of first-order many-valued logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 2022

Robinson consistency in many-sorted hybrid first-order logics.

[BibT_eX]

[DOI]

Tomasz Kowalski

Daniel Gaina

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

A General Omitting Types Theorem in Mathematical Fuzzy Logic.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2021

Lindström theorems in graded model theory.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2021

2020

A Lindström Theorem for Intuitionistic Propositional Logic.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2020

A Lindström theorem in many-valued modal logic over a finite MTL-chain.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2020

2019

Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.

[BibT_eX]

[DOI]

Soft Comput., 2019

2018

Fraïssé classes of graded relational structures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

On elimination of quantifiers in some non-classical mathematical theories.

[BibT_eX]

[DOI]

Andrew Tedder

Math. Log. Q., 2018

On Sahlqvist Formulas in Relevant Logic.

[BibT_eX]

[DOI]

J. Philos. Log., 2018

Saturated Models in Mathematical Fuzzy Logic.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

2017

Infinitary Propositional Relevant Languages with Absurdity.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2017

Model Definability in Relevant Logic.

[BibT_eX]

[DOI]

FLAP, 2017

2016

Bi-Simulating in Bi-Intuitionistic Logic.

[BibT_eX]

[DOI]

Stud Logica, 2016

The Relevant Fragment of First order Logic.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2016

A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.

[BibT_eX]

[DOI]