Szabolcs Mikulas
Szabolcs Mikulas
Senior Lecturer, Department of Computer Science and Information Systems, Birkbeck, University of London
Verified email at dcs.bbk.ac.uk - Homepage
Title
Cited by
Cited by
Year
Lambek calculus and its relational semantics: completeness and incompleteness
H Andréka, S Mikulás
Journal of Logic, Language and Information 3 (1), 1-37, 1994
731994
Taming logics
S Mikulás
421995
Notions of density that imply representability in algebraic logic
H Andréka, S Givant, S Mikulás, I Németi, A Simon
Annals of pure and applied logic 91 (2), 93-190, 1998
411998
The mosaic method for temporal logics
M Marx, S Mikulás, M Reynolds
Automated reasoning with analytic tableaux and related methods, 324-340, 2000
382000
Axiomatizability of reducts of algebras of relations
I Hodkinson, S Mikulás
Algebra Universalis 43 (2-3), 127-156, 2000
312000
Complexity of equational theory of relational algebras with projection elements
S Mikulás, I Sain, A Simon
Bulletin of the Section of Logic 21 (3), 103-111, 1992
311992
The equational theory of Kleene lattices
H Andréka, S Mikulás, I Németi
Theoretical Computer Science 412 (52), 7099-7108, 2011
222011
Axiomatizability of positive algebras of binary relations
H Andréka, S Mikulás
Algebra universalis 66 (1-2), 7-34, 2011
212011
Representable semilattice-ordered monoids
R Hirsch, S Mikulás
Algebra Universalis 57 (3), 333-370, 2007
172007
Algebras of relations and relevance logic
S Mikulás
Journal of Logic and Computation 19 (2), 305-321, 2009
162009
Axiomatizability of representable domain algebras
R Hirsch, S Mikulás
The Journal of Logic and Algebraic Programming 80 (2), 75-91, 2011
152011
Investigations in arrow logic
M Marx, S Mikulás, I Németi, I Sain
Masuch, M. and L. Polos (ecls.), Logic at Work, Preproceedings of the First …, 1992
151992
Expressiveness issues and decision problems for active database event queries
J Bailey, S Mikulás
Database Theory—ICDT 2001, 68-82, 2001
142001
Taming first-order logic
S Mikulás
Logic Journal of the IGPL 6 (2), 305-316, 1998
141998
Axiomatizing complex algebras by games
I Hodkinson, S Mikulás, Y Venema
algebra universalis 46 (4), 455-478, 2001
132001
Cylindric structures and dependencies in relational databases
I Düntsch, S Mikulás
Theoretical Computer Science 269 (1), 451-468, 2001
122001
Products, or how to create modal logics of high complexity
M Marx, S Mikulas
Logic Journal of IGPL 9 (1), 71-82, 2001
122001
The algebra of functions with antidomain and range
R Hirsch, M Jackson, S Mikulás
arXiv preprint arXiv:1410.3981, 2014
102014
Ordered domain algebras
R Hirsch, S Mikulás
Journal of Applied Logic 11 (3), 266-271, 2013
92013
Positive fragments of relevance logic and algebras of binary relations
R Hirsch, S Mikulás
The Review of Symbolic Logic 4 (01), 81-105, 2011
92011
The system can't perform the operation now. Try again later.
Articles 1–20