![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Workshop on Nonclassical Logics and Information Processing 1990: Berlin, Germany
- David Pearce, Heinrich Wansing
:
Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings. Lecture Notes in Computer Science 619, Springer 1992, ISBN 3-540-55745-8
Modal Systems
- Ewa Orlowska
:
Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras. 1-22 - Christian Schumacher:
A Logic for Memory. 23-45 - Michael Morreau:
Actions with Preconditions and Postconditions. 46-55
Logic Programming
- Jürgen Gehne:
Testclasses and Closed World Assumptions for Non-Horn Theories. 56-62 - David Pearce:
Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. 63-79 - Gerd Wagner
:
Lindenbaum-Algebraic Semantics of Logic Programs. 80-91
Nonmonotonic Logics
- André Fuhrmann:
Conditional Logics and Cumulative Logics. 92-103 - Heinrich Herre:
Semantics of Nonmonotonic Reasoning in Logic Programming. 104-124
Proof Theory
- Heinrich Wansing
:
Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic. 125-145 - Peter Schroeder-Heister:
Cut Elimination for Logics with Definitional Reflection. 146-171
![](https://dblp1.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.