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
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
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
Editorial: Special issue CISIS 2016. 135-136
- Camelia-Mihaela Pintea
Towards secure & green two-stage supply chain networks. 137-148 - Rafal Kozik
Protecting the application layer in the public domain with machine learning methods. 149-159 - Rafael Vega Vega, Héctor Quintián
Gaining deep knowledge of Android malware families through dimensionality reduction techniques. 160-176 - V. Gayoso Martínez, Luis Hernández Encinas
Comparing low and medium cost computer-based technologies suitable for cryptographic attacks. 177-188 - Esteban Jove
Modelling the hypnotic patient response in general anaesthesia using intelligent models. 189-201 - Ángel Martín del Rey, J. D. Hernández Guillén
Study of the malware SCIRS model with different incidence rates. 202-213 - Carlos González-Gutiérrez
Rapid tomographic reconstruction through GPU-based adaptive optics. 214-226 - V. Gayoso Martínez, Luis Hernández Encinas
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
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
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
Probabilistic logic of quantum observations. 328-370 - Majid Alizadeh
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
An intuitionistic logic for preference relations. 434-450 - Krystyna Mruczek-Nasieniewska
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
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
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
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
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-15 19:22 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: