Agnes Kurucz

From MaRDI portal
(Redirected from Person:1582309)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Comparing decision problems for various paradigms of algebraic logic.
Algebra Universalis
2005-04-19Paper
scientific article; zbMATH DE number 1989659 (Why is no real title available?)2003-10-09Paper
Arrow logic and infinite counting
Studia Logica
2001-06-18Paper
On axiomatising products of Kripke frames
Journal of Symbolic Logic
2001-06-17Paper
Representability of pairing relation algebras depends on your ontology
Fundamenta Informaticae
2001-04-17Paper
scientific article; zbMATH DE number 1047504 (Why is no real title available?)1997-11-05Paper
scientific article; zbMATH DE number 868084 (Why is no real title available?)1996-08-22Paper
Decidable and undecidable logics with a binary modality
Journal of Logic, Language and Information
1996-07-01Paper
Connections between axioms of set theory and basic theorems of universal algebra
Journal of Symbolic Logic
1995-03-15Paper
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
Logic Journal of the IGPL
1994-05-15Paper


Research outcomes over time


This page was built for person: Agnes Kurucz