Modal and Temporal Logics

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
čeština
Original language name
Modální a temporální logiky
Original language description
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.
Czech name
Modální a temporální logiky
Czech description
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.

Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)