Szabolcs Mikulás

Timothy Stokes

Log. J. IGPL, 2022

Finite Model Properties for Residuated Semigroups.

[BibT_eX]

[DOI]

CoRR, 2022

2020

The algebra of non-deterministic programs: demonic operators, orders and axioms.

[BibT_eX]

[DOI]

Tim Stokes

CoRR, 2020

2019

Domain and range for angelic and demonic compositions.

[BibT_eX]

[DOI]

Marcel Jackson

J. Log. Algebraic Methods Program., 2019

2016

Relational lattices: From databases to universal algebra.

[BibT_eX]

[DOI]

Tadeusz Litak

Jan Hidders

J. Log. Algebraic Methods Program., 2016

The finite representation property for composition, intersection, domain and range.

[BibT_eX]

[DOI]

Brett McLean

Int. J. Algebra Comput., 2016

2015

Complexity of equational theory of relational algebras with standard projection elements.

[BibT_eX]

[DOI]

Ildikó Sain

András Simon

Synth., 2015

The equational theories of representable residuated semigroups.

[BibT_eX]

[DOI]

Synth., 2015

Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics.

[BibT_eX]

[DOI]

Stud Logica, 2015

2014

The algebra of functions with antidomain and range.

[BibT_eX]

[DOI]

Marcel Jackson

CoRR, 2014

Relational Lattices.

[BibT_eX]

[DOI]

Tadeusz Litak

Jan Hidders

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Ordered domain algebras.

[BibT_eX]

[DOI]

J. Appl. Log., 2013

Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders.

[BibT_eX]

[DOI]

Philippe Balbiani

Proceedings of the Frontiers of Combining Systems, 2013

2012

On canonicity and completions of weakly representable relation algebras.

[BibT_eX]

[DOI]

Ian M. Hodkinson

J. Symb. Log., 2012

Residuated Kleene Algebras.

[BibT_eX]

[DOI]

Hajnal Andréka

István Németi

Proceedings of the Logic and Program Semantics, 2012

2011

The equational theory of Kleene lattices.

[BibT_eX]

[DOI]

Hajnal Andréka

István Németi

Theor. Comput. Sci., 2011

Positive Fragments of Relevance Logic and Algebras of Binary Relations.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2011

Axiomatizability of representable domain algebras.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

On representable ordered residuated semigroups.

[BibT_eX]

[DOI]

Log. J. IGPL, 2011

2009

Algebras of Relations and Relevance Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time.

[BibT_eX]

[DOI]

Mark Reynolds

Tim French

Proceedings of the TIME 2009, 2009

2002

An Elementary Construction for a Non-elementary Procedure.

[BibT_eX]

[DOI]

Stud Logica, 2002

2001

Cylindric structures and dependencies in relational databases.

[BibT_eX]

[DOI]

Ivo Düntsch

Theor. Comput. Sci., 2001

Products, or How to Create Modal Logics of High Complexity.

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

Expressiveness Issues and Decision Problems for Active Database Event Queries.

[BibT_eX]

[DOI]

James Bailey

Proceedings of the Database Theory, 2001

Axiomatizability of algebras of binary relations.

[BibT_eX]

[DOI]

Proceedings of the Classical and New Paradigms of Computation and their Complexity Hierarchies, 2001

2000

The Mosaic Method for Temporal Logics.

[BibT_eX]

[DOI]

Mark Reynolds

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

1999

Undecidable Relativizations of Algebras of Relations.

[BibT_eX]

[DOI]

J. Symb. Log., 1999

Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables.

[BibT_eX]

[DOI]

J. Symb. Log., 1999

Tableau Calculus for Local Cubic Modal Logic and it's Implementation.

[BibT_eX]

[DOI]

Stefan Schlobach

Log. J. IGPL, 1999

1998

Taming First-Order Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 1998

Notions of Density That Imply Representability in Algebraic Logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1998

Colorful reducts.

[BibT_eX]

Ian M. Hodkinson

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

A note on expressing infinity in cylindrlc-relativised set algebras.

[BibT_eX]

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1995

Taming Logic.

[BibT_eX]

[DOI]

István Németi

J. Log. Lang. Inf., 1995

1994

Lambek Calculus and its relational semantics: Completeness and incompleteness.

[BibT_eX]

[DOI]

Hajnal Andréka