Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic 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
a service of 
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-04-19 19:20 CEST 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:
