لیست کتاب های کلمه کلیدی: #Modal Logic

Tools and Techniques in Modal Logic

Published on: 1980

Beginner Art English

Modal Logic Techniques Tools Semantics Proofs

Modal logic and process algebra: a bisimulation perspective

Published on: 1995

Beginner Mathematics English

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest …

Bisimulation Process Algebra Modal Logic Equivalence Concurrency

A Completeness Theorem in Modal Logic (paper)

Published on: 0

Beginner Art English

Completeness Modal Logic Theorem Proof Kripke Semantics

Aristotle's Modal Logic: Essence and Entailment in the Organon

Published on: 2002

Beginner Mathematics English

Aristotle Modal Logic Essence Entailment Organon

Modalities for Reasoning about Knowledge and Quantities [PhD Thesis]

Published on: 1992

Beginner Logic and Foundations English

This is a doctoral dissertation of Wiebe van der Hoek under the supervision of prof. J.-J.Ch. Meyer.

Epistemic Logic Modal Logic Quantitative Reasoning Knowledge Representation Formal Verification

Page of

تماس با پشتیبان