Szabolcs Mikulás

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 11

Top Topics

Domain Description

Algebraic Operators

Linearly Ordered

Top Venues

J. Log. Algebraic Methods Program.

Publications

Robin Hirsch, Szabolcs Mikulás, Timothy Stokes
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms. Log. J. IGPL 30 (5) (2022)
Szabolcs Mikulás
Finite Model Properties for Residuated Semigroups. CoRR (2022)
Robin Hirsch, Szabolcs Mikulás, Tim Stokes
The algebra of non-deterministic programs: demonic operators, orders and axioms. CoRR (2020)
Marcel Jackson, Szabolcs Mikulás
Domain and range for angelic and demonic compositions. J. Log. Algebraic Methods Program. 103 (2019)
Marcel Jackson, Szabolcs Mikulás
Domain and range for angelic and demonic compositions. CoRR (2018)
Tadeusz Litak, Szabolcs Mikulás, Jan Hidders
Relational lattices: From databases to universal algebra. J. Log. Algebraic Methods Program. 85 (4) (2016)
Brett McLean, Szabolcs Mikulás
The finite representation property for composition, intersection, domain and range. Int. J. Algebra Comput. 26 (6) (2016)
Szabolcs Mikulás
Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics. Stud Logica 103 (3) (2015)
Brett McLean, Szabolcs Mikulás
The finite representation property for composition, intersection, domain and range. CoRR (2015)
Szabolcs Mikulás
The equational theories of representable residuated semigroups. Synth. 192 (7) (2015)
Szabolcs Mikulás, Ildikó Sain, András Simon
Complexity of equational theory of relational algebras with standard projection elements. Synth. 192 (7) (2015)
Tadeusz Litak, Szabolcs Mikulás, Jan Hidders
Relational Lattices. RAMiCS (2014)
Robin Hirsch, Marcel Jackson, Szabolcs Mikulás
The algebra of functions with antidomain and range. CoRR (2014)
Philippe Balbiani, Szabolcs Mikulás
Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders. FroCos (2013)
Robin Hirsch, Szabolcs Mikulás
Ordered domain algebras. J. Appl. Log. 11 (3) (2013)
Ian M. Hodkinson, Szabolcs Mikulás
On canonicity and completions of weakly representable relation algebras. J. Symb. Log. 77 (1) (2012)
Hajnal Andréka, Szabolcs Mikulás, István Németi
Residuated Kleene Algebras. Logic and Program Semantics (2012)
Robin Hirsch, Szabolcs Mikulás
Axiomatizability of representable domain algebras. J. Log. Algebraic Methods Program. 80 (2) (2011)
Szabolcs Mikulás
On representable ordered residuated semigroups. Log. J. IGPL 19 (1) (2011)
Robin Hirsch, Szabolcs Mikulás
Positive Fragments of Relevance Logic and Algebras of Binary Relations. Rev. Symb. Log. 4 (1) (2011)
Hajnal Andréka, Szabolcs Mikulás, István Németi
The equational theory of Kleene lattices. Theor. Comput. Sci. 412 (52) (2011)
Szabolcs Mikulás
Algebras of Relations and Relevance Logic. J. Log. Comput. 19 (2) (2009)
Szabolcs Mikulás, Mark Reynolds, Tim French
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. TIME (2009)
Maarten Marx, Szabolcs Mikulás
An Elementary Construction for a Non-elementary Procedure. Stud Logica 72 (2) (2002)
James Bailey, Szabolcs Mikulás
Expressiveness Issues and Decision Problems for Active Database Event Queries. ICDT (2001)
Szabolcs Mikulás
Axiomatizability of algebras of binary relations. FotFS (2001)
Ivo Düntsch, Szabolcs Mikulás
Cylindric structures and dependencies in relational databases. Theor. Comput. Sci. 269 (1-2) (2001)
Maarten Marx, Szabolcs Mikulás
Products, or How to Create Modal Logics of High Complexity. Log. J. IGPL 9 (1) (2001)
Maarten Marx, Szabolcs Mikulás, Mark Reynolds
The Mosaic Method for Temporal Logics. TABLEAUX (2000)
Maarten Marx, Szabolcs Mikulás, Stefan Schlobach
Tableau Calculus for Local Cubic Modal Logic and it's Implementation. Log. J. IGPL 7 (6) (1999)
Szabolcs Mikulás, Maarten Marx
Undecidable Relativizations of Algebras of Relations. J. Symb. Log. 64 (2) (1999)
Maarten Marx, Szabolcs Mikulás
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. J. Symb. Log. 64 (4) (1999)
Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon
Notions of Density That Imply Representability in Algebraic Logic. Ann. Pure Appl. Log. 91 (2-3) (1998)
Ian M. Hodkinson, Szabolcs Mikulás
Colorful reducts. RelMiCS (1998)
Szabolcs Mikulás
Taming First-Order Logic. Log. J. IGPL 6 (2) (1998)
Szabolcs Mikulás
A note on expressing infinity in cylindrlc-relativised set algebras. RelMiCS (1997)
Maarten Marx, Szabolcs Mikulás, István Németi
Taming Logic. J. Log. Lang. Inf. 4 (3) (1995)
Hajnal Andréka, Szabolcs Mikulás
Lambek Calculus and its relational semantics: Completeness and incompleteness. J. Log. Lang. Inf. 3 (1) (1994)