Temat: dynamic logic - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "dynamic logic" wg kryterium: Temat

Wyświetlanie 1-10 z 58

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A fragment of Intuitionistic Dynamic Logic
Autorzy:: Celani, S.A.
Data publikacji:: 2001
Słowa kluczowe:: modal logic
Intuitionistic Modal Logic
dynamic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Autorzy:: Nguyen L.A.
Szałas, A.
Data publikacji:: 2010
Słowa kluczowe:: propositional dynamic logic
checking consistency; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A Dynamic Logic Account of Active Integrity Constraints
Autorzy:: Feuillade, Guillaume
Herzig, Andreas
Rantsoudis, Christos
Data publikacji:: 2019
Słowa kluczowe:: active integrity constraints
dynamic logic
propositional assignments; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A Modal Characterization of Nash Equilibrium
Autorzy:: Harrenstein, P.
Van der Hoek, W.
Meyer, J.-J.
Witteveen, C.
Data publikacji:: 2003
Słowa kluczowe:: modal logic
dynamic logic
game theory
Nash equilibrium; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Modal Logic of Information
Autorzy:: Krystyna Misiuna
Data publikacji:: 2012-03-01
Tematy:: Information
Epistemic Logic
Doxastic Logic
Kripke Model
Completeness
Dynamic Logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
Autorzy:: Badia, Guillermo
Kowalski, Tomasz
Găină, Daniel
Data publikacji:: 2023
Słowa kluczowe:: omitting types theorem
hybrid logic
institution
dynamic logic
forcing; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Dynamic epistemic logic
Autorzy:: Herzig, Andreas (1949- )
Data publikacji:: 2008
Tematy:: Ditmarsch, Hans van (1959- ). Dynamic epistemic logic
Hoek, Wiebe van der. Dynamic epistemic logic
Kooi, Barteld (1976- ). Dynamic epistemic logic; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games
Autorzy:: Liu, C.
Liu, F.
Su, K.
Data publikacji:: 2018
Słowa kluczowe:: dynamic logic
extensive games
model checking
short sight
solution concept; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Static and dynamic vector semantics for lambda calculus models of natural language
Autorzy:: Sadrzadeh, M.
Muskens, R.
Data publikacji:: 2018
Słowa kluczowe:: simple typed lambda calculus
vector semantic
composition
context update potential
dynamic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Modal Probability, Belief, and Actions
Autorzy:: Herzig, A.
Data publikacji:: 2003
Słowa kluczowe:: modal probability
belief change
action logic
epistemic logics
dynamic logic
successor state axioms
regression; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 58

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "dynamic logic" wg kryterium: Temat