Criterion of Global Admissibility for Logic IPCстатья из журнала
Похожие публикации
Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"
- Rimatsky Vitaliy и др.
- 2024 год
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Bashmakov Stepan
- 2016 год
Bimodal Cluster Temporal Logic: Local Filtration, Stabilization, and Decidability
- Petrov Kirill и др.
- 2026 год
Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Bashmakov Stepan
- 2018 год
A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents
- Rybakov V. V. и др.
- 2008 год
System Mathematical Models for the Formation of Signals and Synchronous Interference with the Use…
- Shaidurov G. Ya. и др.
- 2015 год
Idempotent Values of Commutators Involving Generalized Derivations
- Gurninder S. Sandhu и др.
- 2022 год
Computer Simulation of Self-assembly of Structure from an Ensemble of Nanoparticles
- Petrakova Viktoriya и др.
- 2025 год