PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2009 | 64 | 4 | 346-350
Tytuł artykułu

DYNAMIC LOGIC OF STRICT PROCESSES (Dynamicka logika striktnych procesov)

Autorzy
Warianty tytułu
Języki publikacji
SK
Abstrakty
EN
The aim of the paper is to sketch some solutions that arose along the work on 'Logic of Strict Processes' (LSP). Three main topics are discussed: (a) negation based on implication constructed in intuitionistic fashion; (b) satisfiability in multimodal contexts and (c) a proposal of a first order semantics for Dynamic Logic of Strict Processes (DLSP). The system of DLSP differs from the original LSP in using the set of contexts, which are treated as ordered sets of formulas. The interpretation of a context is a transition system, which is constructed solely of simple processes. After the set of non-allowed processes is constructed, the negation of molecular formula can be understood as a set o processes that, when combined with processes associated with a non-negated formula, produce non-allowed processes. Satisfiablity in a transition system is defined by a special modal operators which are true only when the relation of metaimplication between them holds. In conclusion the author briefly reviews first order system based on DLSP and points to several open problems waiting for further investigation.
Rocznik
Tom
64
Numer
4
Strony
346-350
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • Juraj Podrouzek, Filozoficky ustav SAV, Klemensova 19, 813 64 Bratislava 1, Slovak Republic, http://klemens.sav.sk/fiusav/filozofia
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
09SKAAAA061912
Identyfikator YADDA
bwmeta1.element.85669fcd-36f5-3c0c-beb8-5089e294fa14
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ć.