Wszystkie pola: First-order Modal 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ę "First-order Modal Logic" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 11

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Tableau-based translation from first-order logic to modal logic
Autorzy:: Perkov, Tin
Mikec, Luka
Data publikacji:: 2021
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: modal logic
bisimulation invariance
tableaux; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
Autorzy:: Belardinelli, F.
Lomuscio, A.
Data publikacji:: 2011
Słowa kluczowe:: First-order Modal Logic
temporal logic
epistemic logics
multi-agent systems
completeness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Formal Theodicy: Religious Determinism and the Logical Problem of Evil
Autorzy:: Borges da Silva Gesiel
Bertato Fabio Maia
Tematy:: logical problem of evil
theodicy
first-order modal logic
logic of religion
Edward Nieznański; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Tableau-based translation from first-order logic to modal logic
Autorzy:: Perkov, Tin
Mikec, Luka
Data publikacji:: 2021
Słowa kluczowe:: modal logic
bisimulation invariance
tableaux; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Identity, equality, nameability and completeness. Part II
Autorzy:: Manzano, María
Moreno, Manuel Crescencio
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: identity
equality
completeness
nameability
first-order modal logic
hybrid logic
hybrid type theory
equational hybrid propositional type theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: First-Order Ground Non-Monotonic Modal Logic
Autorzy:: Grimberg, B.
Kaminski, M.
Data publikacji:: 2008
Słowa kluczowe:: first-order ground non-monotonic modal logic
first-order default logic
preference semantics
minimal model semantics
Herbrand semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: On the proof-theory of two formalisations of modal first-order logic
Autorzy:: Schwartz, Yehuda
Współwytwórcy:: Tourlakis, George J.
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: On the proof-theory of a first-order extension of GL
Autorzy:: Schwartz Yehuda
Tourlakis George
Data publikacji:: 2013-09-18
Tematy:: Gentzen-style logic
Gentzen’s Hauptsatz
Hilbert-style logic
GL
K4
provability logic
provability predicate
modal first-order logic
sequent calculus
cut-elimination
reflection theorem
Craig interpolation
arithmetical interpretation
soundness
arithmetical completeness; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Autorzy:: Gao, Feng
Tourlakis, George
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Modal logic
GL
QGL
first-order logic
proof theory
cut elimination
cut admissibility
provability logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Automated deduction techniques for studying Rough Algebras
Autorzy:: Vigneron, L.
Data publikacji:: 1998
Słowa kluczowe:: automated deduction
theorem proving
equational theories
first-order logic
constraint deduction
modal logic
rough sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 11

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ę "First-order Modal Logic" wg kryterium: Wszystkie pola