| Publication | Date of Publication | Type |
|---|
Logic families
| 2023-11-01 | Paper |
Universal algebraic logic. Dedicated to the unity of science
Studies in Universal Logic | 2022-11-08 | Paper |
Complexity of equational theory of relational algebras with standard projection elements
Synthese | 2017-03-09 | Paper |
Definability issues in universal logic
| 2013-10-16 | Paper |
scientific article; zbMATH DE number 1852925 (Why is no real title available?)
| 2003-01-29 | Paper |
On the search for a finitizable algebraization of first order logic
Logic Journal of the IGPL | 2001-11-23 | Paper |
scientific article; zbMATH DE number 1354161 (Why is no real title available?)
| 1999-10-28 | Paper |
scientific article; zbMATH DE number 1303460 (Why is no real title available?)
| 1999-10-28 | Paper |
scientific article; zbMATH DE number 1047504 (Why is no real title available?)
| 1997-11-05 | Paper |
Finite schematizable algebraic logic
Logic Journal of the IGPL | 1997-09-25 | Paper |
scientific article; zbMATH DE number 1047503 (Why is no real title available?)
| 1997-08-11 | Paper |
scientific article; zbMATH DE number 868084 (Why is no real title available?)
| 1996-08-22 | Paper |
Decidable and undecidable logics with a binary modality
Journal of Logic, Language and Information | 1996-07-01 | Paper |
scientific article; zbMATH DE number 868093 (Why is no real title available?)
| 1996-06-23 | Paper |
scientific article; zbMATH DE number 868091 (Why is no real title available?)
| 1996-06-23 | Paper |
scientific article; zbMATH DE number 859784 (Why is no real title available?)
| 1996-05-19 | Paper |
scientific article; zbMATH DE number 859798 (Why is no real title available?)
| 1996-03-26 | Paper |
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators
Logic Journal of the IGPL | 1996-01-30 | Paper |
scientific article; zbMATH DE number 638619 (Why is no real title available?)
| 1994-10-12 | Paper |
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
Logic Journal of the IGPL | 1994-05-15 | Paper |
scientific article; zbMATH DE number 475243 (Why is no real title available?)
| 1994-01-13 | Paper |
scientific article; zbMATH DE number 475201 (Why is no real title available?)
| 1994-01-13 | Paper |
Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
Annals of Pure and Applied Logic | 1993-11-28 | Paper |
scientific article; zbMATH DE number 150219 (Why is no real title available?)
| 1993-04-01 | Paper |
scientific article; zbMATH DE number 67043 (Why is no real title available?)
| 1992-09-27 | Paper |
Temporal logics need their clocks
Theoretical Computer Science | 1992-06-28 | Paper |
scientific article; zbMATH DE number 17797 (Why is no real title available?)
| 1992-06-26 | Paper |
scientific article; zbMATH DE number 19762 (Why is no real title available?)
| 1992-06-26 | Paper |
scientific article; zbMATH DE number 18642 (Why is no real title available?)
| 1992-06-26 | Paper |
On the strength of temporal proofs
Theoretical Computer Science | 1991-01-01 | Paper |
An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
Studia Logica | 1989-01-01 | Paper |
Weak second order characterizations of various program verification systems
Theoretical Computer Science | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4139719 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4108760 (Why is no real title available?)
| 1989-01-01 | Paper |
Concerning some cylindric algebra versions of the downward Löwenheim- Skolem theorem
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
Total correctness in nonstandard logics of programs
Theoretical Computer Science | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3924132 (Why is no real title available?)
| 1985-01-01 | Paper |
A simple proof for the completeness of Floyd's method
Theoretical Computer Science | 1985-01-01 | Paper |
STRUCTURED NONSTANDARD DYNAMIC LOGIC
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3856389 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3821994 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3880909 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3916526 (Why is no real title available?)
| 1983-01-01 | Paper |
A complete logic for reasoning about programs via nonstandard model theory. II
Theoretical Computer Science | 1982-01-01 | Paper |
A complete logic for reasoning about programs via nonstandard model theory. I
Theoretical Computer Science | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3779578 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3832010 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3803506 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3755858 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3777465 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3791620 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3703966 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3637823 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3650541 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3688692 (Why is no real title available?)
| 1979-01-01 | Paper |
