
Authors:
Anetta GORNICKA
Title:Dual consequence operations associated with a certain class of logical matrices
Pages:143150
File:bibtex
Abstract ( + )
he paper studies the consequences that are dual relative to the consequence operations of some sentential calculi. The definition of a dual consequence applied here was given by R.Wojcicki.

Authors:
Fernando Naufel do AMARAL and Edward Hermann HAEUSLER
Title:Completeness of an action logic for timed transition Systems
Pages:151159
File:bibtex
Abstract ( + )
This paper defines an action logic featuring an operator that denotes necessary conditions, postconditions, and time bounds of actions in a timed computational transition system. Weak completeness of an axiomatization for the logic is proved.

Authors:
Grzegorz BRYLL and Robert SOCHACKI
Title:On a relationship between some classes of elimination operators and some classes
Pages:161170
File:bibtex
Abstract ( + )
In this paper we consider three classes of elimination operators over a given universe. Moreover, we analyse isomorphic correspondences between these classes and certain classes of families of sets.

Authors:
Andrei KOUZNETSOV
Title:Multidimensional algebra on the generalized sequences
Pages:171179
File:bibtex
Abstract ( + )
The paper is devoted to the construction of multidimensional pseudoBoolean algebra whose elements represent the generalized sequences of classes. The work is inspired by the philosophical ideas of Vasiliev (the beginning of the 20th century) and their further formalizations made by Smirnov.

Authors:
Vladimir V.RYBAKOV and B.FEDORISHIN
Title:Faces of monotonicity and wisdom formulas problem
Pages:181192
File:bibtex
Abstract ( + )
In the paper we consider several aspects of monotonicity in propositional logics and the related property of wisdom of formulas connected with the problem of full logical omniscience. We present theorems providing necessary and sufficient conditions for formulas to be monotone and to be wisdom in certain transitive modal logics. A large class of transitive modal logics with the property of inward monotonicy of formulas decidable is found.