default search action
Logic Journal of the IGPL, Volume 32
Volume 32, Number 1, January 2024
- Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh:
Cyclic proofs for the first-order µ-calculus. 1-34 - Kordula Swietorzecka
:
First-Order Logic of Change. 35-46 - Mohammad Ardeshir, Wim Ruitenburg:
Kolmogorov and Kuroda Translations Into Basic Predicate Logic. 47-63 - Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki:
Another Neighbourhood Semantics for Intuitionistic Logic. 64-75 - Edelcio G. de Souza
Paraconsistentization and many-valued logics. 76-93 - Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic:
A Probabilistic Temporal Epistemic Logic: Strong Completeness. 94-138 - Yajie Lv, Wenjuan Chen:
The Spectra of Quasi-Boolean Algebras. 139-163 - Daniyar S. Shamkanov:
On algebraic and topological semantics of the modal logic of common knowledge S4CI. 164-179 - Zalán Gyenis, Övge Öztürk:
Amalgamation and Robinson property in universal algebraic logic. 180-196 - Conferences. 197-205
Volume 32, Number 2, 2024
- Editorial: Special Issue CISIS 2021. 207-209
- Darius Galis
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts. 210-223 - Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez:
FCA-based reasoning for privacy. 224-242 - Laura Fernández-Becerra, Ángel Manuel Guerrero-Higueras, Francisco Javier Rodríguez-Lera, Vicente Matellán:
Accountability as a service for robotics: Performance assessment of different accountability strategies for autonomous robots. 243-262 - Roberto Magán-Carrión, Daniel Urda
Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features. 263-280 - Oscar Llorente-Vazquez
Detection, exploitation and mitigation of memory errors. 281-292 - Konstantinos Karampidis:
Exploiting multimodal biometrics for enhancing password security. 293-305 - Nuño Basurto, Diego García-Prieto, Héctor Quintián
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families. 306-320 - Antonello Calabrò
Towards enhanced monitoring framework with smart predictions. 321-333 - Rudolf Erdei, Daniela Delinschi
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration. 334-351 - Álvaro Michelena
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices. 352-365
Volume 32, Number 3, 2024
- Zhiguang Zhao
Sahlqvist completeness theory for hybrid logic with downarrow binder. 367-393 - Daniil Kozhemiachenko
Non-contingency in a paraconsistent setting. 394-419 - Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki:
Binary modal logic and unary modal logic. 420-441 - Christoph Benzmüller
Who finds the short proof? 442-464 - Mikhail Rybakov
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness. 465-492 - Gemma Robles, José M. Méndez:
The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic Bd. 493-516 - Luciano J. González:
Algebraic logic for the negation fragment of classical logic. 517-533 - Andrei Arusoaie, Dorel Lucanu:
Proof-carrying parameters in certified symbolic execution. 534-571 - Gemma Robles, José M. Méndez:
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4. 572
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-12-22 18:49 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: