On some extensions of dynamic logic. - Ewa Orlowska (Logic of Programs, 1980)

Resolution problem and their applications I. - Ewa Orlowska (Fundam. Informaticae, 1980)

Resolution systems and their applications II. - Ewa Orlowska (Fundam. Informaticae, 1980)

Representation of temporal information. - Ewa Orlowska (Int. J. Parallel Program., 1982)

A logic of indiscernibility relations. - Ewa Orlowska (Symposium on Computation Theory, 1984)

Expressive Power of Knowledge Representation Systems. - Ewa Orlowska; Zdzislaw Pawlak (Int. J. Man Mach. Stud., 1984)

Modal Logics in the Theory of Information Systems. - Ewa Orlowska (Math. Log. Q., 1984)

Representation of Nondeterministic Information. - Ewa Orlowska; Zdzislaw Pawlak (Theor. Comput. Sci., 1984)

Logic of nondeterministic information. - Ewa Orlowska (Stud Logica, 1985)

DAL - A Logic for Data Analysis. - Luis Fariñas del Cerro; Ewa Orlowska (Theor. Comput. Sci., 1985)

Corrigendum: DAL-A Logic for Data Analysis. - Luis Fariñas del Cerro; Ewa Orlowska (Theor. Comput. Sci., 1986)

Semantic Analysis of Inductive Reasoning. - Ewa Orlowska (Theor. Comput. Sci., 1986)

Proof System for Weakest Prespecification and its Applications. - Ewa Orlowska (MFCS, 1988)

Logical aspects of learning concepts. - Ewa Orlowska (Int. J. Approx. Reason., 1988)

Proof System for Weakest Prespecification. - Ewa Orlowska (Inf. Process. Lett., 1988)

Representation of vague information. - Ewa Orlowska (Inf. Syst., 1988)

Logic For Reasoning About Knowledge. - Ewa Orlowska (Math. Log. Q., 1989)

Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras. - Ewa Orlowska (Nonclassical Logics and Information Processing, 1990)

Kripke semantics for knowledge representation logics. - Ewa Orlowska (Stud Logica, 1990)

Verisimilitude based on concept analysis. - Ewa Orlowska (Stud Logica, 1990)

Relational proof systems for some AI logics. - Ewa Orlowska (FAIR, 1991)

Post Relation Algebras and Their Proof System. - Ewa Orlowska (ISMVL, 1991)

Relational Proof System for Relevant Logics. - Ewa Orlowska (J. Symb. Log., 1992)

Rough Set Semantics for Non-classical Logics. - Ewa Orlowska (RSKD, 1993)

Reasoning with Incomplete Information: Rough Set Based Information Logics. - Ewa Orlowska (SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, 1993)

Dynamic logic with program specifications and its relational proof system. - Ewa Orlowska (J. Appl. Non Class. Logics, 1993)

Two Logical Dimensions. - Ewa Orlowska (JELIA, 1994)

Towards Reasoning about Hoare Relations. - Stéphane Demri; Ewa Orlowska; Ingrid Rewitzky (Ann. Math. Artif. Intell., 1994)

Information Algebras. - Ewa Orlowska (AMAST, 1995)

Handling Information Logics in a Graphical Proof Editor. - Michel Herment; Ewa Orlowska (Comput. Intell., 1995)

In Memoriam Helena Rasiowa. - Ewa Orlowska; Andrzej Skowron (Stud Logica, 1995)

Relational Environment for Semigroup Logics. - Ewa Orlowska (Logic, Action, and Information, 1996)

A Rough Set Model of Information Retrieval. - John Green; Neil Horne; Ewa Orlowska; Paul Siemens (Fundam. Informaticae, 1996)

Logical Analysis of Demonic Nondeterministic Programs. - Stéphane Demri; Ewa Orlowska (Theor. Comput. Sci., 1996)

Relational Formalisation of Nonclassical Logics. - Ewa Orlowska (Relational Methods in Computer Science, 1997)

Reasoning with Relational Demonic Operators. - Stéphane Demri; Ewa Orlowska (RelMiCS, 1997)

Many-Valuedness and Uncertainty. - Ewa Orlowska (ISMVL, 1997)

Substitutivity Principles in Some Theories of Uncertainty. - Mihir K. Chakraborty; Ewa Orlowska (Fundam. Informaticae, 1997)

Classes of modal frames definable by closure relational operations. - Stéphane Demri; Ewa Orlowska (RelMiCS, 1998)

Relational semantics for arbitrary finite valued logics. - Beata Konikowska; Charles G. Morgan; Ewa Orlowska (RelMiCS, 1998)

A Relational Formalisation of Arbitrary Finite Valued Logics. - Beata Konikowska; Charles G. Morgan; Ewa Orlowska (Log. J. IGPL, 1998)

Equational Reasoning in Non–Classical Logics. - Marcelo F. Frias; Ewa Orlowska (J. Appl. Non Class. Logics, 1998)

A hierarchy of modal logics with relative accessibility relations. - Philippe Balbiani; Ewa Orlowska (J. Appl. Non Class. Logics, 1999)

Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae. - Stéphane Demri; Ewa Orlowska (Stud Logica, 1999)

An Algebraic and Logical Approach to the Approximation of Regions. - Ivo Düntsch; Ewa Orlowska; Hui Wang 001 (RelMiCS, 2000)

Structures with Many-Valued Information and Their Relational Proof Theory. - Ivo Düntsch; Wendy MacCaull; Ewa Orlowska (ISMVL, 2000)

A Proof System for Contact Relation Algebras. - Ivo Düntsch; Ewa Orlowska (J. Philos. Log., 2000)

Logics of Complementarity in Information Systems. - Ivo Düntsch; Ewa Orlowska (Math. Log. Q., 2000)

Jerzy Los 1920-1998; Elements of Biography. - Stanislaw Balcerzyk; Wiktor Bartol; Ewa Orlowska; Andrzej Wieczorek; Agnieszka Wojciechowska-Waszkiewicz (Stud Logica, 2000)

Double Residuated Lattices and Their Applications. - Ewa Orlowska; Anna Maria Radzikowska (RelMiCS, 2001)

Algebras of Approximating Regions. - Ivo Düntsch; Ewa Orlowska; Hui Wang 001 (Fundam. Informaticae, 2001)

Relational attribute systems. - Ivo Düntsch; Günther Gediga; Ewa Orlowska (Int. J. Hum. Comput. Stud., 2001)

Incomplete Information: Structure, Inference, Complexity - Stéphane Demri; Ewa Orlowska (Springer, 2002)

Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. - Wendy MacCaull; Ewa Orlowska (Stud Logica, 2002)

Lattice-Based Relation Algebras and Their Representability. - Ivo Düntsch; Ewa Orlowska; Anna Maria Radzikowska (Theory and Applications of Relational Structures as Knowledge Instruments, 2003)

A Calculus of Typed Relations. - Wendy MacCaull; Ewa Orlowska (RelMiCS, 2003)

Rasiowa-Sikorski Style Relational Elementary Set Theory. - Eugenio G. Omodeo; Ewa Orlowska; Alberto Policriti (RelMiCS, 2003)

Two Proof Systems for Peirce Algebras. - Renate A. Schmidt; Ewa Orlowska; Ullrich Hustadt (RelMiCS, 2003)

Editorial. - Zofia Adamowicz; Sergei N. Artëmov; Damian Niwinski; Ewa Orlowska; Anna B. Romanowska; Jan Wolenski (Ann. Pure Appl. Log., 2004)

Boolean algebras arising from information systems. - Ivo Düntsch; Ewa Orlowska (Ann. Pure Appl. Log., 2004)

Relational Correspondences for Lattices with Operators. - Jouni Järvinen; Ewa Orlowska (RelMiCS, 2005)

Relational Representability for Algebras of Substructural Logics. - Ewa Orlowska; Anna Maria Radzikowska (RelMiCS, 2005)

Relational Semantics Through Duality. - Ewa Orlowska; Ingrid Rewitzky; Ivo Düntsch (RelMiCS, 2005)

Quantifier Elimination in Elementary Set Theory. - Ewa Orlowska; Andrzej Szalas (RelMiCS, 2005)

Duality via Truth: Semantic frameworks for lattice-based logics. - Ewa Orlowska; Ingrid Rewitzky (Log. J. IGPL, 2005)

Relational Approach to Order-of-Magnitude Reasoning. - Alfredo Burrieza; Manuel Ojeda-Aciego; Ewa Orlowska (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

Lattice-Based Relation Algebras II. - Ivo Düntsch; Ewa Orlowska; Anna Maria Radzikowska (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

Relational Representation Theorems for General Lattices with Negations. - Wojciech Dzik; Ewa Orlowska; Clint J. van Alten (RelMiCS, 2006)

Relational Representation Theorems for Lattices with Negations: A Survey. - Wojciech Dzik; Ewa Orlowska; Clint J. van Alten (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. - Andrea Formisano 001; Eugenio G. Omodeo; Ewa Orlowska (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

Relational Logics and Their Applications. - Joanna Golinska-Pilarek; Ewa Orlowska (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

Relational dual tableaux for interval temporal logics. - Davide Bresolin; Joanna Golinska-Pilarek; Ewa Orlowska (J. Appl. Non Class. Logics, 2006)

Relational proof systems for spatial reasoning. - Joanna Golinska-Pilarek; Ewa Orlowska (J. Appl. Non Class. Logics, 2006)

A Logic of Type Relations and its Applications to Relational Databases. - Wendy MacCaull; Ewa Orlowska (J. Log. Comput., 2006)

A Kripke-Style and Relational Semantics for Logics Based on Lukasiewicz Algebras. - Luisa Iturrioz; Ewa Orlowska (J. Multiple Valued Log. Soft Comput., 2006)

Relational Reasoning in Formal Concept Analysis. - Joanna Golinska-Pilarek; Ewa Orlowska (FUZZ-IEEE, 2007)

Discrete Duality and Its Applications to Reasoning with Incomplete Information. - Ewa Orlowska; Ingrid Rewitzky (RSEISP, 2007)

Relative Nondeterministic Information Logic is EXPTIME-complete. - Stéphane Demri; Ewa Orlowska (Fundam. Informaticae, 2007)

In Memory of Professor Zdzislaw Pawlak. - Ewa Orlowska; James F. Peters; Grzegorz Rozenberg; Andrzej Skowron (Fundam. Informaticae, 2007)

Discrete Dualities for Heyting Algebras with Operators. - Ewa Orlowska; Ingrid Rewitzky (Fundam. Informaticae, 2007)

Abstract Barycentric Algebras. - Anna B. Romanowska; Jonathan D. H. Smith; Ewa Orlowska (Fundam. Informaticae, 2007)

Tableaux and Dual Tableaux: Transformation of Proofs. - Joanna Golinska-Pilarek; Ewa Orlowska (Stud Logica, 2007)

Relational Attribute Systems II: Reasoning with Relations in Information Structures. - Ivo Düntsch; Günther Gediga; Ewa Orlowska (Trans. Rough Sets, 2007)

Representation theorems for some fuzzy logics based on residuated non-distributive lattices. - Ewa Orlowska; Anna Maria Radzikowska (Fuzzy Sets Syst., 2008)

A discrete duality between apartness algebras and apartness frames. - Ivo Düntsch; Ewa Orlowska (J. Appl. Non Class. Logics, 2008)

Context Algebras, Context Frames, and Their Discrete Duality. - Ewa Orlowska; Ingrid Rewitzky (Trans. Rough Sets, 2008)

Discrete Duality for Relation Algebras and Cylindric Algebras. - Ewa Orlowska; Ingrid Rewitzky (RelMiCS, 2009)

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. - Alfredo Burrieza; Ángel Mora 001; Manuel Ojeda-Aciego; Ewa Orlowska (Int. J. Comput. Math., 2009)

Dual Tableau-based Decision Procedures for Some Relational Logics. - Domenico Cantone; Marianna Nicolosi Asmundo; Ewa Orlowska (CILC, 2010)

Algebras for Galois-style connections and their discrete duality. - Ewa Orlowska; Ingrid Rewitzky (Fuzzy Sets Syst., 2010)

Structures with Multirelations, their Discrete Dualities and Applications. - Ivo Düntsch; Ewa Orlowska; Ingrid Rewitzky (Fundam. Informaticae, 2010)

An Algebraic Approach to Preference Relations. - Ivo Düntsch; Ewa Orlowska (RAMiCS, 2011)

Dual tableau for monoidal triangular norm logic MTL. - Joanna Golinska-Pilarek; Ewa Orlowska (Fuzzy Sets Syst., 2011)

Dual tableau-based decision procedures for relational logics with restricted composition operator. - Domenico Cantone; Marianna Nicolosi Asmundo; Ewa Orlowska (J. Appl. Non Class. Logics, 2011)

Discrete Dualities for Double Stone Algebras. - Ivo Düntsch; Ewa Orlowska (Stud Logica, 2011)

Book Reviews. - Ewa Orlowska (Stud Logica, 2011)

Discrete Duality for Rough Relation Algebras. - Ivo Düntsch; Ewa Orlowska (Fundam. Informaticae, 2013)

Knowledge Algebras and Their Discrete Duality. - Ewa Orlowska; Anna Maria Radzikowska (Rough Sets and Intelligent Systems (2), 2013)

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. - Domenico Cantone; Marianna Nicolosi Asmundo; Ewa Orlowska (CILC, 2014)

Discrete dualities for some algebras with relations. - Ivo Düntsch; Ewa Orlowska (J. Log. Algebraic Methods Program., 2014)

Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras. - Ivo Düntsch; Ewa Orlowska; Clint J. van Alten (Fuzzy Sets Syst., 2016)

A Relational Logic for Spatial Contact Based on Rough Set Approximation. - Ivo Düntsch; Ewa Orlowska; Hui Wang 001 (Fundam. Informaticae, 2016)

A Discrete Representation for Dicomplemented Lattices. - Ivo Düntsch; Léonard Kwuida; Ewa Orlowska (Fundam. Informaticae, 2017)

Preface. - Damian Niwinski; Ewa Orlowska (Fundam. Informaticae, 2017)

Mixed algebras and their logics. - Ivo Düntsch; Ewa Orlowska; Tinko Tinchev (J. Appl. Non Class. Logics, 2017)

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). - Domenico Cantone; Marianna Nicolosi Asmundo; Ewa Orlowska (CoRR, 2018)

A Discrete Representation of Lattice Frames. - Ivo Düntsch; Ewa Orlowska (LORI, 2019)

Representation of Lattices with Modal Operators in Two-Sorted Frames. - Chrysafis Hartonas; Ewa Orlowska (Fundam. Informaticae, 2019)

The Evolution of Rough Sets 1970s-1981. - Viktor Marek; Ewa Orlowska; Ivo Düntsch (CoRR, 2025)