Up a level |

**18**.

## 2002

Marx, M. and Mikulás, Szabolcs
(2002)
An elementary construction for a non-elementary procedure.
*Studia Logica* 72
(2),
pp. 253-263.
ISSN 0039-3215.

## 2009

Mikulás, Szabolcs and Reynolds, Mark and French, Tim (2009) Axiomatizations for temporal epistemic logic with perfect recall over linear time. In: 16th International Symposium on Temporal Representation and Reasoning, 23-25 July 2009, Bressanone-Brixen, Italy.

## April 2009

Mikulás, Szabolcs
(2009)
Algebras of relations and relevance logic.
*Journal of Logic and Computation* 19
(2),
pp. 305-321.
ISSN 0955-792X.

## 2011

Hirsch, R. and Mikulás, Szabolcs
(2011)
Positive fragments of relevance logic and algebras of binary relations.
*The Review of Symbolic Logic* 4
(1),
pp. 81-105.
ISSN 1755-0203.

## February 2011

Hirsch, R. and Mikulás, Szabolcs
(2011)
Axiomatizability of representable domain algebras.
*Journal of Logic and Algebraic Programming* 80
(2),
pp. 75-91.
ISSN 1567-8326.

Mikulás, Szabolcs
(2011)
On representable ordered residuated semigroups.
*Logic Journal of the IGPL* 19
(1),
pp. 233-240.
ISSN 1367-0751.

## October 2011

Andréka, H. and Mikulás, Szabolcs
(2011)
Axiomatizability of positive algebras of binary relations.
*Algebra Universalis* 66
(1-2),
pp. 7-34.
ISSN 0002-5240.

## 9 December 2011

Andréka, H. and Mikulás, Szabolcs and Németi, I.
(2011)
The equational theory of Kleene lattices.
*Theoretical Computer Science* 412
(52),
pp. 7099-7108.
ISSN 0304-3975.

## 2012

Hodkinson, I. and Mikulás, Szabolcs
(2012)
On canonicity and completions of weakly representable relation algebras.
*Journal of Symbolic Logic* 77
(1),
pp. 245-262.
ISSN 0022-4812.

Andréka, H. and Mikulás, Szabolcs and Németi, I.
(2012)
Residuated Kleene algebras.
In:
Constable, R.L. and Silva, A. (eds.)
*Logic and Program Semantics.*
Lecture Notes in Computer Science 7230.
Berlin, Germany:
Springer Verlag, pp. 1-11.
ISBN 9783642294853.

## September 2013

Hirsch, R. and Mikulás, Szabolcs
(2013)
Ordered domain algebras.
*Journal of Applied Logic* 11
(3),
pp. 266-271.
ISSN 1570-8683.

## June 2015

Mikulás, Szabolcs
(2015)
Lower semilattice-ordered residuated semigroups and substructural logics.
*Studia Logica* 103
(3),
pp. 453-478.
ISSN 0039-3215.

## July 2015

Mikulás, Szabolcs and Sain, I. and Simon, A.
(2015)
Complexity of equational theory of relational algebras with standard projection elements.
*Synthese* 192
(7),
pp. 2159-2182.
ISSN 0039-7857.

Mikulás, Szabolcs
(2015)
The equational theories of representable residuated semigroups.
*Synthese* 192
(7),
pp. 2151-2158.
ISSN 0039-7857.

## 4 December 2015

Hirsch, R. and Jackson, M. and Mikulás, Szabolcs
(2015)
The algebra of functions with antidomain and range.
*Journal of Pure and Applied Algebra* 220
(6),
pp. 2214-2239.
ISSN 0022-4049.

## June 2016

Litak, T. and Mikulás, Szabolcs and Hidders, Jan
(2016)
Relational lattices: from databases to Universal Algebra.
*Journal of Logical and Algebraic Methods in Programming* 85
(4),
pp. 540-573.
ISSN 2352-2208.

## 17 June 2016

McLean, B. and Mikulás, Szabolcs
(2016)
The finite representation property for composition, intersection, domain and range.
*International Journal of Algebra and Computation* 26
,
p. 1199.
ISSN 0218-1967.

## 14 November 2018

Jackson, M. and Mikulás, Szabolcs
(2018)
Domain and range for angelic and demonic compositons.
*Journal of Logical and Algebraic Methods in Programming* 103
,
pp. 62-78.
ISSN 2352-2208.