Completeness in non-simple and stable modal logics

QR kód

Completeness in non-simple and stable modal logics

Elmentve itt :

Bibliográfiai részletek
Szerző:	Tóth K.
Dokumentumtípus:	Cikk
Megjelent:	1980
Sorozat:	Acta cybernetica 4 No. 4
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12298

Hasonló tételek

Modal logics with function symbols
Szerző: Tóth K.
Megjelent: (1979)

Acts over completely 0-simple semigroups
Szerző: Avdeev A. Û., et al.
Megjelent: (2000)

The generalised completeness of Horn predicate-logic as a programming language
Szerző: Andréka Hajnal, et al.
Megjelent: (1978)

The cardinality of closed sets in pre-complete classes in k-valued logics
Szerző: Demetrovics János, et al.
Megjelent: (1979)

NP-completeness results concerning the transformation of logic programs into attribute grammars
Szerző: Lohrey Markus
Megjelent: (1998)

Modalities Based on Double Negation
Szerző: Dombi József
Megjelent: (2019)

Common logic [abstract] /
Szerző: Demián Tamás
Megjelent: (2010)

Simple deterministic machines
Szerző: Khanh N. T.
Megjelent: (1982)

Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming
Szerző: Charalambidis Angelos, et al.
Megjelent: (2017)

A simple shading for computer displayed surfaces
Szerző: Herman Gábor T., et al.
Megjelent: (1978)

The debug slicing of logic programs
Szerző: Szilágyi Gyöngyi, et al.
Megjelent: (2001)

The logic of aggregated data
Szerző: Gelsema Tjalling
Megjelent: (2019)

Debug slicing of logic programs [abstract] /
Szerző: Harmath László, et al.
Megjelent: (2000)

On the complexity of dynamic tests for logic functions
Szerző: Vardanân V. A.
Megjelent: (1994)

The logic of knights, knaves, normals and mutes
Szerző: Aszalós László
Megjelent: (2000)

Relational databases and homogeneity in logics with counting
Szerző: Turull Torres José María
Megjelent: (2006)

On extended simple eco-grammar systems
Szerző: Csima Judit
Megjelent: (1998)

Two simple algorithms for bin covering
Szerző: Csirik János, et al.
Megjelent: (1999)

Applications of the inverse theta number in stable set problems
Szerző: Ujvári Miklós
Megjelent: (2014)

On the completeness of proving partial correctness
Szerző: Csirmaz László
Megjelent: (1981)

Modelling container distribution with fuzzy logic [abstract] /
Szerző: Raicu Gabriel
Megjelent: (2004)

On extended simple eco-grammar systems [abstract] /
Szerző: Csima Judit
Megjelent: (1998)

Learning in logic
Szerző: Horváth Tamás
Megjelent: (2012)

Logical foundations for a general theory of systems
Szerző: Gergely Tamás, et al.
Megjelent: (1975)

A resolution based description logic calculus
Szerző: Zombori Zsolt
Megjelent: (2010)

Generation of test cases for simple Prolog programs
Szerző: Kilpeläinen Pekka, et al.
Megjelent: (1990)

On the Boolean structure of fuzzy logical systems a counter example /
Szerző: Dombi József, et al.
Megjelent: (1992)

On competence and completeness in CD grammar systems
Szerző: Bordihn Henning, et al.
Megjelent: (1996)

Density of tautologies in logics with one variable
Szerző: Aszalós László, et al.
Megjelent: (2012)

Finite state evaluation of logical formulas Jevons' approach (1870) and contemporary description /
Szerző: Amblard Paul
Megjelent: (2006)

Operator-dependent modifiers in nilpotent logical systems
Szerző: Dombi József, et al.
Megjelent: (2018)

Creating the conceptual and logical model of a journal database
Szerző: Hampel György
Megjelent: (2022)

Creating the conceptual and logical model of a journal database
Szerző: Hampel György
Megjelent: (2022)

Two remarks on variants of simple eco-grammar systems
Szerző: Csima Judit
Megjelent: (2000)

On homomorphically αi-complete systems of automata
Szerző: Dömösi Pál
Megjelent: (1983)

Regular expression star-freeness is PSPACE-complete
Szerző: Bernátsky László
Megjelent: (1997)

On extensions of completely simple semigroups by groups
Szerző: Dékány Tamás
Megjelent: (2014)

The generalized sigmoid function and its connection with logical operators
Szerző: Dombi József, et al.
Megjelent: (2022)

Generalizing the Sigmoid Function Using Continuous-valued Logic
Szerző: Dombi József, et al.
Megjelent: (2022)

Logical definability of Y-tree and trellis systolic ω-languages
Szerző: Angelo Monti, et al.
Megjelent: (2001)