logika modalna
Sign in to saveformal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
Wikidata facts
- Part of
- mathematical logic
Show 4 more facts
- topic's main category
- Category:Modal logic
- Commons category
- Modal logic
- influenced by
- predicate logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/modal-logic
via Wikidata · CC0
Article · Polski
Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin „logika modalna” rozumie się szerzej, włączając w jego obręb , logiki temporalne, i – niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5.
Abstract from DBpedia / Wikipedia · CC BY-SA