![](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
Journal of Applied Non-Classical Logics, Volume 13
Volume 13, Number 1, 2003
- Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig:
Foreword. 7-8 - Achille C. Varzi
, Massimo Warglien
:
The Geometry of Negation. 9-20 - Víctor L. Fernández, Marcelo E. Coniglio
:
Combining Valuations with Society Semantics. 21-46 - Costas D. Koutras
:
A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes. 47-73 - Samir Farkh, Karim Nour:
Complete types in an extension of the system AF2. 73-86 - Frieder Stolzenburg, Alejandro Javier García, Carlos Iván Chesñevar
, Guillermo Ricardo Simari:
Computing Generalized Specificity. 87-113
Volume 13, Number 2, 2003
- Jinzhao Wu:
CWA Extensions to Multi-Valued Logics. 133-164 - Robert Demolombe, Andreas Herzig, Ivan José Varzinczak:
Regression in Modal Logic. 165-185 - Robert Demolombe:
Belief Change: from Situation Calculus to Modal Logic. 187-198 - Xiaocong Fan, John Yen:
A Logical Splitting Strategy for the Belief Structure of Agents. 199-221
Volume 13, Number 3-4, 2003
- Philippe Balbiani
, Dimiter Vakarelov:
PDL with Intersection of Programs: A Complete Axiomatization. 231-276 - Cristina Sernadas
, Luca Viganò, João Rasga
, Amílcar Sernadas
:
Truth-values as Labels: A General Recipe for Labelled Deduction. 277-315 - Ofer Arieli:
Reasoning with Different Levels of Uncertainty. 317-343 - Xavier Parent:
Remedial Interchange, Contrary-to-Duty Obligation and Commutation. 345-375 - Karim Nour, Abir Nour:
Propositional mixed logic: its syntax and semantics. 377-390 - Zofia Kostrzycka
:
On the Density of Truth of Implicational Parts of Intuitionistic and Classical Logics. 391-421
![](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.