Wszystkie pola: dynamic logic

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: Wszystkie pola

Wyświetlanie 1-25 z 97

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Towards intuitionistic dynamic logic
Autorzy:: Degen, Josef Wolfgang
Współwytwórcy:: Werner, Jon M.
Data publikacji:: 2007
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Propositional dynamic logic with recursive programs
Autorzy:: Tinchev, Tinko
Vakarelov, Dimiter
Data publikacji:: 1988
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

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: 4.

Tytuł:: DYNAMICKÁ LOGIKA STRIKTNÝCH PROCESOV
Dynamic logic of strict processes
Autorzy:: Podroužek Juraj
Tematy:: CONTEXT
LOGIC OF STRICT PROCESSES
METAIMPLICATION
MULTIMODAL LOGIC
NEGATION
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

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: 6.

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: 7.

Tytuł:: A contraction-free and Cut-free sequent calculus for propositional dynamic logic
Autorzy:: Hill, Brian
Współwytwórcy:: Poggiolesi, Francesca (1980- )
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic
Autorzy:: Nguyen, L. A.
Data publikacji:: 2016
Słowa kluczowe:: description logics
knowledge representation
computational complexity
reasoning
mathematical terminology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Dynamic Epistemic Logic and Logical Omniscience
Autorzy:: Rasmussen Mattias Skipper
Data publikacji:: 2015-08-18
Tematy:: epistemic logic
dynamic epistemic logic
logical omniscience
resource-bounded reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Dynamic epistemic logic and logical omniscience
Autorzy:: Rasmussen, Mattias Skipper
Data publikacji:: 2015
Tematy:: Logika; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Dynamic deontic logic and its paradoxes
Autorzy:: Anglberger, Albert J. J.
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: The Dynamic Epistemic Logic for Actual Knowledge
Autorzy:: Wójcik, Arkadiusz
Data publikacji:: 2020
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Dynamic epistemic logic
logic of public announcements
knowledge representation
problem of logical omniscience
actual knowledge
epistemic change
multi-agent systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

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: 14.

Tytuł:: The dynamic epistemic logic for actual knowledge
Autorzy:: Wójcik, Arkadiusz Autor
Współwytwórcy:: Zakład Logiki (Uniwersytet Warszawski)
Data publikacji:: 2020
Tematy:: Logika dynamiczna
Wiedza
Logika epistemiczna
System aksjomatyczny; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

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: 16.

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: 17.

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: 18.

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: 19.

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: 20.

Tytuł:: Evolution of Collective Commitment during Teamwork
Autorzy:: Dunin-Kęplicz, B.
Verbrugge, R.
Data publikacji:: 2003
Słowa kluczowe:: Cooperative Problem Solving (CPS)
logical semantics
Kripke models
dynamic logic
multi-modal logical; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Static and dynamic vector semantics for lambda calculus models of natural language
Autorzy:: Sadrzadeh, M.
Muskens, R.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: simple typed lambda calculus
vector semantic
composition
context update potential
dynamic logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

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

Skocz do pozycji: 23.

Tytuł:: Practical application of dynamic "domino" logic in CMOS VLSI integrated circuits
Autorzy:: Kuźmicz, W.
Data publikacji:: 1999
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection
Autorzy:: Balbiani, P.
Data publikacji:: 2003
Słowa kluczowe:: propositional modal logic
propositional dynamic logic
composition of programs
intersection of programs
test on a formula
deductive completeness
subordination method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Game Solution, Epistemic Dynamics and Fixed-Point Logics
Autorzy:: van Benthem, J.
Gheerbrant, A.
Data publikacji:: 2010
Słowa kluczowe:: Backward Induction
extensive games
Dynamic-Epistemic Logic
Fixed-Point Logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-25 z 97

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: Wszystkie pola