Wyniki
-
Resolution system for ω+-valued logic
Ewa Orłowska
Bulletin of the Section of Logic , 7 /2 (1978) s. 68-74 -
Logic of vague concepts
Ewa Orłowska
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 115-122 -
Tense logic for nondeterministic time
Ewa Orłowska
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 127-131 -
Logic for reasoning about knowledge
Ewa Orłowska
Bulletin of the Section of Logic , 16 /1 (1987) s. 26-38 -
A logic with relevant inplication
Ewa Orłowska
Bulletin of the Section of Logic , 16 /1 (1987) s. 39-45 -
Three aspects of verisimilitude : part I
Ewa Orłowska
Bulletin of the Section of Logic , 16 /3 (1987) s. 96-106 -
Relational interpretation of modal logics
Ewa Orłowska
Bulletin of the Section of Logic , 17 /1 (1988) s. 2-14 -
Interpretation of dynamic logic in the relational calculus
Ewa Orłowska
Bulletin of the Section of Logic , 18 /4 (1989) s. 132-137 -
Post relation algebra
Ewa Orłowska
Bulletin of the Section of Logic , 20 /1 (1991) s. 14-31