Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  bisimulations
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Peritopological spaces and bisimulations
EN
Generalizing ordinary topological and pretopological spaces, we introduce the notion of peritopology where neigh-borhoods of a point need not contain that point, and some points might even have an empty neighborhood. We briefly describe various intrinsic aspects of this notion. Applied to modal logic, it gives rise to peritopological models, a generalization of topo- logical models, a spacial case of neighborhood semantics. A new cladding for bisimulation is presented. The concept of Alexandroff peritopology is used in order to determine the logic of all peritopo- logical spaces, and we prove that the minimal logic K is strongly complete with respect to the class of all peritopological spaces. We also show that the classes of T0, T1 and T2-peritopological spaces are not modal definable, and that D is the logic of all proper peritopological spaces. Finally, among our conclusions, we show that the question whether T0, T1 peritopological spaces are modal definable in H(@) remains open.
2
Content available remote Próba formalizacji opisu transformacji systemów gospodarczych i prawnych
PL
W pracy zaproponowano modelowanie systemów gospodarczych i prawnych przez hipergrafy, a transformacji tych systemów przez tzw. bisymulacje. Podejście to pozwala do opisu używać dobrze rozpoznanych metod algebry.
EN
In the paper a kind of modeling of economical and legal systems by means of hypergraphs and bisimulations is proposed. The approach allows for using of well known algebraic methods for such a description of these systems and their transformations.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.