Guillermo Badia

Phokion G. Kolaitis

Proc. ACM Manag. Data, November, 2025

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., October, 2025

Fagin's Theorem for Semiring Turing Machines.

[BibT_eX]

[DOI]

CoRR, July, 2025

Semirings in Databases, Automata, and Logic (Dagstuhl Seminar 25081).

[BibT_eX]

[DOI]

Dagstuhl Reports, February, 2025

Editorial: special issue on the Australasian Logic Colloquium 2023.

[BibT_eX]

[DOI]

Sasha Rubin

J. Log. Comput., 2025

Asymptotic Truth-Value Laws in Many-Valued Logics.

[BibT_eX]

[DOI]

Xavier Caicedo

J. Symb. Log., 2025

A Modular Bisimulation characterisation for Fragments of Hybrid Logic.

[BibT_eX]

[DOI]

Bull. Symb. Log., 2025

New Foundations of Reasoning via Real-Valued First-order Logics.

[BibT_eX]

[DOI]

Ronald Fagin

Bull. Symb. Log., 2025

Generating and counting finite FLew-chains.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Fuzzy Systems, 2025

2024

Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2024

First-order Friendliness.

[BibT_eX]

[DOI]

David Makinson

Rev. Symb. Log., 2024

Relevant Consequence Relations: an Invitation.

[BibT_eX]

[DOI]

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

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

Many-Expert Decision Trees.

[BibT_eX]

[DOI]

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 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

Introduction to the special issue 'Valerie Plumwood's contributions to Logic'.

[BibT_eX]

[DOI]

Andrew Tedder

Australas. J. Log., 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

Incompactness of the A1 Fragment of Basic second order Propositional Relevant Logic.

[BibT_eX]

[DOI]

Australas. J. Log., 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

A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics.

[BibT_eX]

[DOI]

Australas. J. Log., 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]