Вы здесь

Главная

модальный

Связанные издания:

Modal Provability Foundations for Negation by Failure
Model Checking and Satisfiability for Sabotage Modal Logic
Model-checking mu-Calculus in Well-Structured Transition Systems
Model Checking Partial State Spaces with 3-Valued Temporal Logics
Model Construction for Implicit Specifications in Modal Logic
Nonmonotonic Reasoning Is Sometimes Simpler
On Duality for the Modal -Calculus
On Expressive Completeness of Modal Logic
On the Complexity of Explicit Modal Logics
On the Expressive Power of Modal Logics on Trees
Operations on proofs thet can be specified by means of modal logic
Preserving of Admissible Inference Rules in Modal Logic
Probabilistic Temporal Logics via the Modal Mu-Calculus
PROMAL - Programming in Modal Action Logic
Reasoning About Knowledge and Probability
Reasoning about the Safety of Information: from Logical Formalization to Operational Definition
Referential Data Structures and Labeled Modal Logic
Refutation Systems for Propositional Modal Logics
Rewrite Rule Systems for Modal Propositional Logic
Run-time Code Generation and Modal-ML
Solving Air-Traffic Problems with "Possible Worlds"
Specification and Analysis of a Security Management System
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Temporal and Modal Logic
The Basic Logic of Proofs
The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories
The Joys of Bisimulation
Towards a Probabilistic Modal Logic for Semantic-Based Information Retrieval
Translating a Modal Language with Embedded Implication into Horn Clause Logic
Translation-Based Deduction Methods for Modal Logics
Using Connection Method in Modal Logics: Some Advantages
Viewing Conditional Logics of Normality as Extensions of the Modal System S4
Viewing Hypothesis Theories as Constrained Graded Theories
Модальный подход к разработке Web-приложений
О логиках процессов
Погружение модального лямбда-исчисления в логику доказательств