![](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 27
Volume 27, Numbers 1-2, 2017
- Dimiter Georgiev
:
Definability in the class of all -frames - computability and complexity. 1-26 - Mateusz M. Radzki
:
On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz. 27-32 - Omar Alaqeeli
, William Wadge:
The monadic hybrid calculus. 33-49 - Shota Motoura:
A general framework for dynamic epistemic logic: towards canonical correspondences. 50-89
- Andreas Herzig, Emiliano Lorini, David Pearce:
Preface. 90
- Philippe Balbiani
, Çigdem Gencer:
Unification in epistemic logics. 91-105 - Daniele Porello
:
Judgement aggregation in non-classical logics. 106-139 - Robert Demolombe:
Trust and agency in the context of communication. 140-151
Volume 27, Numbers 3-4, 2017
- Pedro Cabalar, Martín Diéguez
, Andreas Herzig
, David Pearce:
A short biography of Luis Fariñas del Cerro. 153-160
- Felicidad Aguado
, Pedro Cabalar, Martín Diéguez
, Gilberto Pérez, Concepción Vidal
:
Temporal Equilibrium Logic with past operators. 161-177 - Leila Amgoud, Philippe Besnard, Anthony Hunter
:
Foundations for a logic of arguments. 178-195 - Philippe Balbiani
, Çigdem Gencer:
KD is nullary. 196-205 - Mohua Banerjee
, Didier Dubois, Lluís Godo
, Henri Prade:
On the relation between possibilistic logic and modal logics of belief and knowledge. 206-224 - Alfredo Burrieza
, Emilio Muñoz-Velasco
, Manuel Ojeda-Aciego
:
A multimodal logic for closeness. 225-237 - Pedro Cabalar, David Pearce, Agustín Valverde
:
Stable reasoning. 238-254 - Walter Carnielli
, Mamede Lima-Marques
:
Society semantics and the logic way to collective intelligence. 255-268 - Serenella Cerrito, Marta Cialdea Mayer
, Robert Demolombe:
Temporal abductive reasoning about biochemical reactions. 269-291 - Robert Demolombe:
Reasoning about trust and aboutness in the context of communication. 292-303 - Ivo Düntsch
, Ewa Orlowska
, Tinko Tinchev
:
Mixed algebras and their logics. 304-320 - Antonio Frias Delgado:
A note on Barcan formula. 321-327 - Andreas Herzig
:
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. 328-341 - Dimiter Vakarelov:
A mereotopology based on sequent algebras. 342-364
![](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.