![](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
Logic Journal of the IGPL, Volume 27
Volume 27, Number 1, February 2019
- Luka Mikec, Fedor Pakhomov
, Mladen Vukovic:
Complexity of the interpretability logic IL. 1-7 - Philippe Balbiani
, Çigdem Gencer, Zafer Özdemir:
Two decision problems in Contact Logics. 8-32 - Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
Propositional intuitionistic multiple-conclusion calculus via proof graphs. 33-59 - Mikhail N. Rybakov
, Dmitry Shkatov
:
Complexity of finite-variable fragments of propositional modal logics of symmetric frames. 60-68 - Gemma Robles:
Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix. 69-92 - Norihiro Kamide, Yoni Zohar:
Yet another paradefinite logic: The role of conflation1. 93-117 - Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva, Mehrnoosh Sadrzadeh:
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017). 118-134
Volume 27, Number 2, April 2019
- Manuel Graña, José Manuel López-Guede
, Álvaro Herrero, Héctor Quintián
, Emilio Corchado:
Editorial: Special issue CISIS 2016. 135-136
- Camelia-Mihaela Pintea
, Anisoara Calinescu, Corina Pop Sitar, Petrica C. Pop
:
Towards secure & green two-stage supply chain networks. 137-148 - Rafal Kozik
, Michal Choras:
Protecting the application layer in the public domain with machine learning methods. 149-159 - Rafael Vega Vega, Héctor Quintián
, José Luís Calvo-Rolle
, Álvaro Herrero, Emilio Corchado:
Gaining deep knowledge of Android malware families through dimensionality reduction techniques. 160-176 - V. Gayoso Martínez, Luis Hernández Encinas
, Agustín Martín Muñoz
, Oscar Martinez-Graullera
:
Comparing low and medium cost computer-based technologies suitable for cryptographic attacks. 177-188 - Esteban Jove
, Jose M. Gonzalez-Cava
, José Luís Casteleiro-Roca
, Juan Albino Méndez Pérez, José Antonio Reboso-Morales, Francisco Javier Perez Castelo, Francisco Javier de Cos Juez, José Luís Calvo-Rolle
:
Modelling the hypnotic patient response in general anaesthesia using intelligent models. 189-201 - Ángel Martín del Rey, J. D. Hernández Guillén
, Gerardo Rodríguez Sánchez
:
Study of the malware SCIRS model with different incidence rates. 202-213 - Carlos González-Gutiérrez
, María Luisa Sánchez Rodríguez, Ramón Ángel Fernández Díaz
, José Luís Calvo-Rolle
, Nieves Roqueñí Gutiérrez, Francisco Javier de Cos Juez
:
Rapid tomographic reconstruction through GPU-based adaptive optics. 214-226 - V. Gayoso Martínez, Luis Hernández Encinas
, Agustín Martín Muñoz
, Raúl Durán Díaz:
Secure elliptic curves and their performance. 277
Volume 27, Number 3, May 2019
- S. Mojtaba Mojtahedi
:
Localizing finite-depth Kripke models. 239-251 - Stepan L. Kuznetsov, Valentina Lugovaya, Anastasiia Ryzhova:
Craig's trick and a non-sequential system for the Lambek calculus and its fragments. 252-266 - Hongxing Liu:
On categorical equivalences of equality algebras and monadic equality algebras. 267-280 - Willem Conradie
, Claudette Robinson:
Analogues of Bull's theorem for hybrid logic. 281-313 - Congwen Luo, Gaoxia Wang:
Some lattice-ordered algebras on which all congruences are principal. 314-327 - Amílcar Sernadas, João Rasga
, Cristina Sernadas
, Luís Alcácer, Alfredo Barbosa Henriques:
Probabilistic logic of quantum observations. 328-370 - Majid Alizadeh
, Mohammad Ardeshir:
Basic propositional logic and the weak excluded middle. 371-383
Volume 27, Number 4, August 2019
- Petr Cintula, Zach Weber, Shier Ju:
Editors' introduction: Special issue on non-classical modal and predicate logics. 385-386 - Federico L. G. Faroldi:
Deontic modals and hyperintensionality. 387-410 - Federico L. G. Faroldi, Tudor Protopopescu:
A hyperintensional logical framework for deontic reasons. 411-433 - Paolo Maffezioli
, Alberto Naibo
:
An intuitionistic logic for preference relations. 434-450 - Krystyna Mruczek-Nasieniewska
, Marek Nasieniewski
, Andrzej Pietruszczak
:
A modal extension of Jaśkowski's discussive logic |$\textbf{D}_\textbf{2}$|. 451-477 - Sara Negri, Eugenio Orlandelli
:
Proof theory for quantified monotone modal logics. 478-506 - Naoyuki Nide, Yuki Goto, Megumi Fujita:
Sequent calculus for 3-valued paraconsistent logic QMPT0. 507-521 - Igor Sedlár
, Vít Puncochár:
From positive PDL to its non-classical extensions. 522-542 - Shawn Standefer:
Tracking reasons with extensions of relevant logics. 543-569 - Athanassios Tzouvaras:
Semantics for first-order superposition logic. 570-595 - Zhe Lin, Minghui Ma:
Gentzen sequent calculi for some intuitionistic modal logics. 596-623
Volume 27, Number 5, October 2019
- Gilda Ferreira
, Vasco T. Vasconcelos:
The computational content of atomic polymorphism. 625-638 - Philippe Balbiani
:
Remarks about the unification type of several non-symmetric non-transitive modal logics. 639-658 - Maryam Abiri, Morteza Moniri, Mostafa Zaare:
Forcing and satisfaction in Kripke models of intuitionistic arithmetic. 659-670 - Grigory K. Olkhovikov:
Justification announcements in discrete time. Part II: Frame definability results. 671-692 - Wojciech Dzik, Piotr Wojtylak:
Unification in first-order transitive modal logic. 693-717 - Chrysafis Hartonas
:
Game-theoretic semantics for non-distributive logics. 718-742 - Edmond W. H. Lee
:
Locally finite monoids in finitely based varieties. 743-745 - Eman Dihoum, Michael Rathjen:
Preservation of choice principles under realizability. 746-765 - Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz:
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018). 766-776
Volume 27, Number 6, December 2019
- Luciano Caroprese
, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano:
A logical framework for view updating in indefinite databases. 777-811 - Juntao Wang, Pengfei He, Yan-Hong She:
Monadic NM-algebras. 812-835 - Seyed Mohammad Bagheri:
The logic of linear propositions. 836-846 - Fernando A. Tohmé, Ignacio D. Viglizzo
:
Superrational types. 847-864 - Matteo Pascucci
:
Propositional quantifiers in labelled natural deduction for normal modal logic. 865-894 - Nerio Borges, Edwin Pin:
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy. 895-909 - Gemma Robles, José M. Méndez:
Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value. 910-932 - Thomas Macaulay Ferguson:
Corrigendum: The Keisler - Shelah theorem for QmbC through semantical atomization. 933
![](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.