Modální a temporální logiky

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F13%3A00217452" target="_blank" >RIV/68407700:21230/13:00217452 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Modální a temporální logiky
Popis výsledku v původním jazyce
Kapitola vysvětluje základy modální logiky jako nástroje pro formalizaci uvažování ve skupině více subjektů, jejichž soubory informací o světě se mohou navzájem lišit ? nutné důsledky některých výroků pro ně pak mohou být rozdílné. Na příkladech a prostřednictvím Kripkeho sémantiky jsou vysvětleny vlastnosti některých formulí, ve kterých se vedle klasických logických spojek vyskytují i modality pro znalost jedince nebo pro společnou znalost. Podobným způsobem jsou představeny i temporální logiky, kterése věnují tvrzením, jejichž pravdivost se rovněž mění ? v tomto případě závisí na čase.
Název v anglickém jazyce
Modal and Temporal Logics
Popis výsledku anglicky
The chapter introduces modal logics as a tool for formalization of reasoning in a group of agents who have different sets of knowledge about the word they live in ? due to that these agents do not have to come to the same conclusions when starting from the same assumptions. Examples and Kripke´s semantics are used to show basic properties of formulas that contain not only classic logic connectives but also modalities characterizing knowledge of a member of the group or the knowledge common to the groupof agents. The same approach is used to present temporal logic dedicated to reasoning about claims that change their validity in time.

Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)