Wszystkie pola: logics - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
Autorzy:: Tomova, Natalya
Data publikacji:: 2020-11-13
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Four-valued logics
paraconsistent logics
paracomplete logics
isomorphisms
literal-paraconsistent-paracomplete logics
semi-lattice of logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Autorzy:: Nguyen L.A.
Data publikacji:: 2010
Słowa kluczowe:: Horn knowledge bases
description logics
regular grammar logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Inconsistency-adaptive modal logics. On how to cope with modal inconsistency
Autorzy:: Lycke Hans
Data publikacji:: 2010-03-01
Tematy:: modal logics
paraconsistency
inconsistency-adaptive logics
inconsistency-adaptive modal logics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Many-valued modal non-monotonic reasoning: sequential stable sets and logics with linear truth spaces
Autorzy:: Koutras, C.D.
Koletsos, G.
Zachos, S.
Data publikacji:: 1999
Słowa kluczowe:: non-monotonic reasoning
modal non-monotonic logics
many-valued logics
knowledge representation
epistemic logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Clausal Tableaux for Multimodal Logics of Belief
Autorzy:: Goré, R.
Nguyen L.A.
Data publikacji:: 2009
Słowa kluczowe:: modal logics for agent-based systems
theorem proving for modal logics
complexity and decidability of modal logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Di-Algebraic Semantics of Logics
Autorzy:: Mani, A.
Data publikacji:: 2006
Słowa kluczowe:: di-algebraic semantics of logics
distributive logics
convex amalgams of algebras
inner completions of partial algebras
generalized algebraic logics
canonical models; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
Autorzy:: Diaconescu, Denisa
Data publikacji:: 2020
Słowa kluczowe:: bisimulation
Hennessy-Milner property
many-valued logics
modal logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A Constructor-Based Reachability Logic for Rewrite Theories
Autorzy:: Skeirik, Stephen
Stefanescu, Andrei
Meseguer, José
Data publikacji:: 2020
Słowa kluczowe:: deductive verification
reachability logics
rewriting logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Relational semantics for the 4-valued relevant logics BN4 and E4
Autorzy:: Robles Gemma
Data publikacji:: 2016-04-25
Tematy:: relevant logics
many-valued logics
4-valued logics
Routley-Meyer semantics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Modal Boolean Connexive Logics: Semantics and Tableau Approach
Autorzy:: Jarmużek, Tomasz
Malinowski, Jacek
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Boolean connexive logics
connexive logic
modal Boolean connexive logics
modal logics
normal modal logics
possible worlds semantics
relatedness
relating logic
relating semantics
tableau methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Interplays of knowledge and non-contingency
Autorzy:: Costa-Leite Alexandre
Data publikacji:: 2016-07-13
Tematy:: non-contingency logics epistemic logics
products of modal logics
Von Wright; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: First-order non-monotonic modal logics
Autorzy:: Kaminski, M.
Rey, G.
Data publikacji:: 2000
Słowa kluczowe:: modal non-monotonic logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Separability, Expressiveness, and Decidability in the Ambient Logic
Autorzy:: Hirschkoff, D.
Data publikacji:: 2003
Słowa kluczowe:: Mobile Ambients
spatial logics
modal logics
intensionality
characteristic formulas; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Admissibility of Ackermann’s rule δ in relevant logics
Autorzy:: Gemma Robles
Data publikacji:: 2013-08-29
Tematy:: admissible rules
rule δ
rule assertion
substructural logics
relevant logics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Decision procedures for some strong hybrid logics
Autorzy:: Indrzejczak Andrzej
Zawidzki Michał
Data publikacji:: 2013-08-29
Tematy:: hybrid logics
modal logics
tableau calculi
sequent calculi
decision procedures
automated reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Generalized Galois logics : relational semantics of nonclassical logics
Autorzy:: Orłowska, Ewa (1935- )
Data publikacji:: 2011
Tematy:: Bimbó, Katalin (1963- ). Generalized Galois logics
Dunn, Jon Michael (1941- ). Generalized Galois logics; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
Autorzy:: Robles, G.
Data publikacji:: 2016
Słowa kluczowe:: RM3
R-Mingle
relevant logics
quasi-relevant logics
Routley-Meyer semantics
relational semantics
substructural logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: The Theoretical and Practical Logics of Social Advancement Promoted by Ideological Innovation
Autorzy:: Jingzhao Liu
Tematy:: ideological innovation
social advancement
theoretical logics
practical logics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Occurrence net logics
Autorzy:: Haar, S.
Data publikacji:: 2000
Słowa kluczowe:: concurrency
occurrence (Petri) nets
semantics
partial order logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Logics for Modelling Collective Attitudes
Autorzy:: Porello, D.
Data publikacji:: 2018
Słowa kluczowe:: collective propositional attitudes
collective rationality
group agency
judgment aggregation
majority rule
non normal modal logics
social choice theory
substructural logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: ANTIMONOTONE LOGICS. ON SOME J. PERZANOWSKIS RESEARCH IN MODAL LOGICS (Logiki anty-monotoniczne. O pewnych badaniach J. Perzanowskiego nad logikami modalnymi)
Autorzy:: Swirydowicz Kazimierz
Tematy:: MODAL LOGICS
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Relational semantics for the 4-valued relevant logics BN4 and E4
Autorzy:: Robles Gemma
Blanco José M.
López Sandra M.
Paradela Jesús R.
Recio Marcos M.
Data publikacji:: 2016-04-25
Tematy:: relevant logics
many-valued logics
4-valued logics
Routley-Meyer semantics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Categorical abstract algebraic logic weakly referential π-institutions
Autorzy:: Voutsadakis, G.
Data publikacji:: 2016
Słowa kluczowe:: referential logics
selfextensional logics
referential semantics
referential π-institutions
selfextensional π-institutions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Finite-valued Logics for Information Processing
Autorzy:: Avron, A.
Konikowska, B.
Data publikacji:: 2012
Słowa kluczowe:: information processing
incomplete information systems
inconsistent information
finite logics
many-valued logics
non-deterministic logical matrices
sequent calculi; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Categorical Abstract Algebraic Logic: Syntactically Algebraizable pi-Institutions
Autorzy:: Voutsadakis, G.
Data publikacji:: 2009
Słowa kluczowe:: quasi-varieties
equational logic
algebraizable logics
syntactically N-algebraizable pi-institutions
equivalential logics
N-equivalential pi-institutions
protoalgebraic logics
N-protoalgebraic pi-insitutions
Leibniz operator
Leibniz hierarchy
N-Leibniz operator
regularly algebraizable logics
relatively point-regular quasivarieties
deduction-detachment theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logics" wg kryterium: Wszystkie pola