On valid assertions in probability logic, Studia
Sci.Math.Hung.,101-116,12,1977
A generalization of first order logic,
Periodica Math. Pol.,157-170, 21, 1978
On the foundations of axiomatic theory of probability,
International Logic Review, 19-20,1979
Measures on cylindric algebras, Bull. Sect. Logic Polish
Acad.Sci.,142-153,11,1982
Measures on cylindric algebras, Acta Math.Hung, 3-17, 42, 1983
On the connection of cylindrical homomorphisms and point
functions for Crs' s, Lectures in Universal Algebra (Proc.Coll.Szeged
1983), Coll.Math.Soc.J.Bolyai 43, North Holland,123-141, 1986
Remark on the concept of conditional probability, Reports on
Math.Logic, Krakow, 3-6, 20,1986
Probabilities on free product of formula algebras,
Carleton Math.Series, Ottawa,1-13,1988
Algebraic logic conference,
JSL, 54, 2, p686, 1989, with Andréka, H., Németi, I., Serény, Gy
On homomorphisms between relation algebras, Algebra Universalis,
27, 474-479,1990
Measures on free product of formula algebras and the analogies
with homomorphisms, Algebraic Logic, (Proc.Conf. Budapest 1986),
Colloq. Math.Soc.J.Bolyai, North Holland, 173-181, 1991
On representability of cylindric algebras, Abstr.of papers
presented to the American Math.Soc., 336, 13, 3,1992
Measures defined on first order models, Abstr.of 10th
Int.Congress of Logic, Math. and Phil. Sci.,9,1995
On inducing homomorphisms by point functions, Bulletin of Sect.
Logic Pol. Ac.,179-187, 3, 1998
On diagonals in representable cylindric algebras, Algebra
Universalis, 187-199, 41, 1999
On representability of neatly embeddable cylindric algebras,
Journal of Applied Non-classical logics, 3-4, 300-315, 2000
Algebraic logic and probability theory, Proc.1st
Int.Congress on Tools for Teach.Logic, Salamanca, 85-90, 2000
Probabilities defined on relations interpreting first order
formulas, in RelMICS 7, Relation Methods in
Computer Science, C-A-University Kiel, 130-135, 2003
Classical and
non-classical logics, in Formal Methods
in Computing, ed. Ferenczi, M., Pataricza,
A, Ronyai, L., Akadémiai Kiadó, 97-155, 2005
Probabilities
on first order models, Publications de l'Institut Mathematique,
78, 92, 2005, 107-115
On some developments in
the representation theory of cylindrical-like algebras, Algebra
Universalis, 55, 2-3, 345-353, 2006, with Sagi, G.
On
cylindric algebras satisfying merry-go-round properties, Logic Journal
of IGPL, 15, 2, 183-197, 2007
Finitary polyadic
algebras from cylindric algebras, Studia Logica, 1., 87, 2-11, 2007
On conservative extensions in logics with infinitary predicates, Studia Logica, 1, 92, 121-135, 2009
Non-standard stochastics with a first order algebraization, Studia Logica, 95, 345-354, 2009
On
the representability of neatly embeddable CA's by cylindric relativized
set algebras, Algebra Universalis, 4, 63, 331-350, 2010
Existence
of partial transposition means representability in cylindric algebras,
Mathematical Logic Quarterly, 57, 1, 87-94, 2011
The
polyadic generalization of the Boolean axiomatization of fields of
sets, Transaction of American Mathematical Society, 364, 2,
867-886,
2012
Theses, Books
Valószínűségi logikákról, Doctoral dissertation, ELTE, 1-14O,
1977
Mértékek,
mérhető függvények cilindrikus algebrákon, Ph.D. Theses,
MTA,
1-160, 1986
Valószínűségszámítás és
alkalmazásai, Nemzeti Tankönyvkiadó,
1- 408, 1998
Matematikai
Logika, Műszaki Kiadó, 1- 350, 2002
Formal Methods in Computing,
ed.
Ferenczi, M., Pataricza, A, Rónyai, L., Akadémiai Kiadó, 1- 425,
2005
Mathematical Logic for Applications, Polytechnica, 1-104, 2006, with
Szőts, M.
Mathematical Logic for Applications, Typotex, tankonyvtar.ttk.bme.hu, 1- 120, 2011, with Szőts, M. (2. kiadás)