Вы здесь

Главная

модальный

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

A Calculus for Access Control in Distributed Systems
Action Refinement from a Logical Point of View
A Framework for Modal Logic Programming
A Functional Approach for Temporal x Modal Logics
Algebraic Acpects of the Relational Knowledge Representation: Modal Relation Algebras
A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion
A Modal Framework for Structured Logic Programs
A modal logic for message passing processes
A Modal Logic for Message Passing Processes
A Multimodal Logic to Define Modules in Logic Programming
An Effective Model Checking for Mu-calculus: From Finite Systems Towards Systems with Real Time
An Interval-Based Modal Logic for System Specification
An Introduction to Executable Modal and Temporal Logics
An Intuitijnistic Modal Logic with Applications to the Formal Verification of Hardware
An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware
An Overview of Temporal and Modal Logic Programming
Applications of Modal Logic for the Specification of Real-Time Systems
A Query Language Based on the Ambient Logic
A Road-Map on Complexity for Hybrid Logics
A Set-theoretic Translation Method for (Poly)modal Logics
Belief, Provability, and Logic Programs
Combining Hierarchical Specification with Hierarchical Implementation
Combining Object-Oriented and Logic Paradigms: A modal Logic Programming Approach
Computer Science Logic: Selected Papers/ 8th Workshop, CSL 94, Kazimierz, Poland, September 1994
Craig Interpolation Property in Modal Logics with Provability Interpretation
Distributed Control Flow with Classical Modal Logic
Efficient Local Model-Checking for Fragments of the Modal -Calculus
Efficient Strategies for Automated Reasoning in Modal Logics
Epistemic Logic for Computer Science: A Tutorial (Part One)
Executable Modal and Temporal Logics: Proc./IJCAI 93 Workshop. Chambery, France, August 1993
Explicit Provability and Constructive Semantics
Exploiting Modal Logic to Express Performance Measures
Finitary Logics for some CCS Observational Bisimulations
From Carnap s Modal Logic to Autoepistemic Logic
Fuzzy Modal Logic
Games and Modal Mu-Calculus
Generalizing the Modal and Temporal Logic of Linear Time
Handling Imperfection in Databases: A Modal Logic Approach
How to Construct a Logic for Your Application
How to Use Modalities and Sorts in Prolog
Labelled Tableaux for Multi-Modal Logics
Logical Characterization of Probablistic theta-Bisimulation Equivalents
Many-Valued Non-Monotonic Modal Logics
Methods for Mu-calculus Model Checking: A Tutorial
Modal and Temporal Logics for Processes
Modal Linear Logic
Modal logics for knowledge representation systems.
Modal Logics for Rational Agents
Modal Logics Preserving Admissible for S4 Inference Rules
Modal Nonmonotonic Logics: Ranges, Characterization, Computation