Stop the war!
Остановите войну!
for scientists:
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, Alexandre Costa-Leite, Diogo H. B. Dias:
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, Ciprian Pungila, Viorel Negru:
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, Ignacio Díaz-Cano, Bernabé Dorronsoro:
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, Igor Santos-Grueiro, Iker Pastor-López, Pablo García Bringas:
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, Daniel Urda, José Luís Calvo-Rolle, Emilio Corchado:
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families. 306-320 - Antonello Calabrò, Said Daoudagh, Eda Marchetti:
Towards enhanced monitoring framework with smart predictions. 321-333 - Rudolf Erdei, Daniela Delinschi, Oliviu Matei, Laura Andreica:
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration. 334-351 - Álvaro Michelena, María Teresa García-Ordás, José Aveleira-Mata, David Yeregui Marcos del Blanco, Míriam Timiraos Díaz, Francisco Zayas-Gato, Esteban Jove, José Luís Casteleiro-Roca, Héctor Quintián, Héctor Alaiz-Moretón, José Luís Calvo-Rolle:
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices. 352-365
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.