default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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-11-11 21:33 CET 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:
