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
TitleCited byYear
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
671994
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
401998
Taming logics
S Mikulás
381995
The mosaic method for temporal logics
M Marx, S Mikulás, M Reynolds
Automated reasoning with analytic tableaux and related methods, 324-340, 2000
372000
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
321992
Axiomatizability of reducts of algebras of relations
I Hodkinson, S Mikulás
Algebra Universalis 43 (2-3), 127-156, 2000
312000
The equational theory of Kleene lattices
H Andréka, S Mikulás, I Németi
Theoretical Computer Science 412 (52), 7099-7108, 2011
202011
Axiomatizability of positive algebras of binary relations
H Andréka, S Mikulás
Algebra universalis 66 (1-2), 7-34, 2011
192011
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
161992
Axiomatizing complex algebras by games
I Hodkinson, S Mikulás, Y Venema
algebra universalis 46 (4), 455-478, 2001
152001
Algebras of relations and relevance logic
S Mikulás
Journal of Logic and Computation 19 (2), 305-321, 2009
142009
Representable semilattice-ordered monoids
R Hirsch, S Mikulás
Algebra Universalis 57 (3), 333-370, 2007
142007
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
Axiomatizability of representable domain algebras
R Hirsch, S Mikulás
The Journal of Logic and Algebraic Programming 80 (2), 75-91, 2011
132011
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
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
Labelled deduction for the guarded fragment
M Marx, S Mikulás, S Schlobach
Labelled deduction, 193-214, 2000
92000
Gabbay-style calculi
S Mikulás
Proof theory of modal logic, 243-252, 1996
91996
The system can't perform the operation now. Try again later.
Articles 1–20