![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/jancl/jancl10.bht:"
@article{DBLP:journals/jancl/BergstraP00, author = {Jan A. Bergstra and Alban Ponse}, title = {Process Algebra with Four-Valued Logic}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {1}, pages = {27--53}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510987}, doi = {10.1080/11663081.2000.10510987}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/BergstraP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/DuntschK00, author = {Ivo D{\"{u}}ntsch and Beata Konikowska}, title = {A multimodal logic for reasoning about complementarity}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {3-4}, pages = {273--301}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10511000}, doi = {10.1080/11663081.2000.10511000}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/DuntschK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/EngelfrietT00, author = {Joeri Engelfriet and Jan Treur}, title = {Specification of nonmonotonic reasoning}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {1}, pages = {7--26}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510986}, doi = {10.1080/11663081.2000.10510986}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/EngelfrietT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Ferenczi00, author = {Mikl{\'{o}}s Ferenczi}, title = {On representability of neatly embeddable cylindric algebras}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {3-4}, pages = {303--315}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10511001}, doi = {10.1080/11663081.2000.10511001}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Ferenczi00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/GiunchigliaGST00, author = {Enrico Giunchiglia and Fausto Giunchiglia and Roberto Sebastiani and Armando Tacchella}, title = {{SAT} vs. translation based decision procedures for modal logics: a comparative evaluation}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {2}, pages = {145--172}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510994}, doi = {10.1080/11663081.2000.10510994}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/GiunchigliaGST00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Goranko00, author = {Valentin Goranko}, title = {Temporal logics with reference pointers and computation tree logics}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {3-4}, pages = {221--242}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510998}, doi = {10.1080/11663081.2000.10510998}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Goranko00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/GuzmanEC00, author = {Inman P. de Guzm{\'{a}}n and Manuel Enciso and Pablo Cordero}, title = {A temporal negative normal form which preserves implicants and implicates}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {3-4}, pages = {243--272}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510999}, doi = {10.1080/11663081.2000.10510999}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/GuzmanEC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Jenei00, author = {S{\'{a}}ndor Jenei}, title = {Structure of left-continuous triangular norms with strong induced negations}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {1}, pages = {83--92}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510989}, doi = {10.1080/11663081.2000.10510989}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Jenei00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/KoniecznyP00, author = {S{\'{e}}bastien Konieczny and Ram{\'{o}}n Pino P{\'{e}}rez}, title = {A framework for iterated revision}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {3-4}, pages = {339--367}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10511003}, doi = {10.1080/11663081.2000.10511003}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/KoniecznyP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/LuW00, author = {Mi Lu and Jin{-}Zhao Wu}, title = {On theorem proving in annotated logics}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {2}, pages = {121--143}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510993}, doi = {10.1080/11663081.2000.10510993}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/LuW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Obtulowic00, author = {Adam Obtulowicz}, title = {Triangular Logic of Partial Toposes}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {2}, pages = {173--212}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510995}, doi = {10.1080/11663081.2000.10510995}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Obtulowic00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Pynko00, author = {Alexej P. Pynko}, title = {Regular bilattices}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {1}, pages = {93--111}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510990}, doi = {10.1080/11663081.2000.10510990}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Pynko00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Rodenburg00, author = {Pieter Hendrik Rodenburg}, title = {A complete system of four-valued logic}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {3-4}, year = {2000}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Rodenburg00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/RybakovTG00, author = {Vladimir V. Rybakov and Mehmet Terziler and {\c{C}}igdem Gencer}, title = {Unification and passive inference rules for modal logics}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {3-4}, pages = {369--377}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10511004}, doi = {10.1080/11663081.2000.10511004}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/RybakovTG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/TsiporkovaBB00, author = {Elena Tsiporkova and Bernard De Baets and Veselka Boeva}, title = {Evidence theory in multivalued models of modal logic}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {1}, pages = {55--81}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510988}, doi = {10.1080/11663081.2000.10510988}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/TsiporkovaBB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Vanackere00, author = {Guido Vanackere}, title = {HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {3-4}, pages = {317--338}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10511002}, doi = {10.1080/11663081.2000.10511002}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Vanackere00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.