Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 10
Volume 10, Number 1, 2000
- Joeri Engelfriet, Jan Treur
:
Specification of nonmonotonic reasoning. 7-26 - Jan A. Bergstra, Alban Ponse:
Process Algebra with Four-Valued Logic. 27-53 - Elena Tsiporkova, Bernard De Baets, Veselka Boeva:
Evidence theory in multivalued models of modal logic. 55-81 - Alexej P. Pynko:
Regular bilattices. 93-111 - Sándor Jenei:
Structure of left-continuous triangular norms with strong induced negations. 83-92
Volume 10, Number 2, 2000
- Mi Lu, Jin-Zhao Wu:
On theorem proving in annotated logics. 121-143 - Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella:
SAT vs. translation based decision procedures for modal logics: a comparative evaluation. 145-172 - Adam Obtulowicz:
Triangular Logic of Partial Toposes. 173-212
Volume 10, Number 3-4, 2000
- Valentin Goranko:
Temporal logics with reference pointers and computation tree logics. 221-242 - Inman P. de Guzmán, Manuel Enciso, Pablo Cordero:
A temporal negative normal form which preserves implicants and implicates. 243-272 - Ivo Düntsch, Beata Konikowska:
A multimodal logic for reasoning about complementarity. 273-301 - Miklós Ferenczi:
On representability of neatly embeddable cylindric algebras. 303-315 - Guido Vanackere:
HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions. 317-338 - Sébastien Konieczny, Ramón Pino Pérez:
A framework for iterated revision. 339-367 - Pieter Hendrik Rodenburg:
A complete system of four-valued logic. J. Appl. Non Class. Logics 10(3-4) (2000) - Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer:
Unification and passive inference rules for modal logics. 369-377
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
