Lambek Calculus and its relational semantics: Completeness and incompleteness. - Hajnal Andréka; Szabolcs Mikulás (J. Log. Lang. Inf., 1994)

Taming Logic. - Maarten Marx; Szabolcs Mikulás; István Németi (J. Log. Lang. Inf., 1995)

A note on expressing infinity in cylindrlc-relativised set algebras. - Szabolcs Mikulás (RelMiCS, 1997)

Colorful reducts. - Ian M. Hodkinson; Szabolcs Mikulás (RelMiCS, 1998)

Notions of Density That Imply Representability in Algebraic Logic. - Hajnal Andréka; Steven Givant; Szabolcs Mikulás; István Németi; András Simon (Ann. Pure Appl. Log., 1998)

Taming First-Order Logic. - Szabolcs Mikulás (Log. J. IGPL, 1998)

Tableau Calculus for Local Cubic Modal Logic and it's Implementation. - Maarten Marx; Szabolcs Mikulás; Stefan Schlobach (Log. J. IGPL, 1999)

Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. - Maarten Marx; Szabolcs Mikulás (J. Symb. Log., 1999)

Undecidable Relativizations of Algebras of Relations. - Szabolcs Mikulás; Maarten Marx (J. Symb. Log., 1999)

The Mosaic Method for Temporal Logics. - Maarten Marx; Szabolcs Mikulás; Mark Reynolds 001 (TABLEAUX, 2000)

Axiomatizability of algebras of binary relations. - Szabolcs Mikulás (FotFS, 2001)

Expressiveness Issues and Decision Problems for Active Database Event Queries. - James Bailey; Szabolcs Mikulás (ICDT, 2001)

Products, or How to Create Modal Logics of High Complexity. - Maarten Marx; Szabolcs Mikulás (Log. J. IGPL, 2001)

Cylindric structures and dependencies in relational databases. - Ivo Düntsch; Szabolcs Mikulás (Theor. Comput. Sci., 2001)

An Elementary Construction for a Non-elementary Procedure. - Maarten Marx; Szabolcs Mikulás (Stud Logica, 2002)

Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. - Szabolcs Mikulás; Mark Reynolds 001; Tim French 002 (TIME, 2009)

Algebras of Relations and Relevance Logic. - Szabolcs Mikulás (J. Log. Comput., 2009)

On representable ordered residuated semigroups. - Szabolcs Mikulás (Log. J. IGPL, 2011)

Axiomatizability of representable domain algebras. - Robin Hirsch; Szabolcs Mikulás (J. Log. Algebraic Methods Program., 2011)

Positive Fragments of Relevance Logic and Algebras of Binary Relations. - Robin Hirsch; Szabolcs Mikulás (Rev. Symb. Log., 2011)

The equational theory of Kleene lattices. - Hajnal Andréka; Szabolcs Mikulás; István Németi (Theor. Comput. Sci., 2011)

Residuated Kleene Algebras. - Hajnal Andréka; Szabolcs Mikulás; István Németi (Logic and Program Semantics, 2012)

On canonicity and completions of weakly representable relation algebras. - Ian M. Hodkinson; Szabolcs Mikulás (J. Symb. Log., 2012)

Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders. - Philippe Balbiani; Szabolcs Mikulás (FroCos, 2013)

Ordered domain algebras. - Robin Hirsch; Szabolcs Mikulás (J. Appl. Log., 2013)

Relational Lattices. - Tadeusz Litak; Szabolcs Mikulás; Jan Hidders (RAMiCS, 2014)

The algebra of functions with antidomain and range. - Robin Hirsch; Marcel Jackson; Szabolcs Mikulás (CoRR, 2014)

Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics. - Szabolcs Mikulás (Stud Logica, 2015)

The equational theories of representable residuated semigroups. - Szabolcs Mikulás (Synth., 2015)

Complexity of equational theory of relational algebras with standard projection elements. - Szabolcs Mikulás; Ildikó Sain; András Simon (Synth., 2015)

The finite representation property for composition, intersection, domain and range. - Brett McLean; Szabolcs Mikulás (Int. J. Algebra Comput., 2016)

Relational lattices: From databases to universal algebra. - Tadeusz Litak; Szabolcs Mikulás; Jan Hidders (J. Log. Algebraic Methods Program., 2016)

Domain and range for angelic and demonic compositions. - Marcel Jackson; Szabolcs Mikulás (J. Log. Algebraic Methods Program., 2019)

The algebra of non-deterministic programs: demonic operators, orders and axioms. - Robin Hirsch; Szabolcs Mikulás; Tim Stokes 001 (CoRR, 2020)

Finite Model Properties for Residuated Semigroups. - Szabolcs Mikulás (CoRR, 2022)

The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms. - Robin Hirsch; Szabolcs Mikulás; Timothy Stokes 001 (Log. J. IGPL, 2022)