Ágnes Kurucz

Available identifiers

zbMath Open kurucz.agnesMaRDI QIDQ1582309

List of research outcomes

Publication	Date of Publication	Type
Comparing decision problems for various paradigms of algebraic logic.	2005-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4430406	2003-10-09	Paper
Arrow logic and infinite counting	2001-06-18	Paper
On axiomatising products of Kripke frames	2001-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2708315	2001-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4349281	1997-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4873967	1996-08-22	Paper
Decidable and undecidable logics with a binary modality	1996-07-01	Paper
Connections between axioms of set theory and basic theorems of universal algebra	1995-03-15	Paper
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus	1994-05-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ágnes Kurucz