The top documents tagged [modal logic]

Cook and Smets the Operational Interpretation of Beleif Function Theory

Possible Worlds in Narrative Space

78873322 Cantor Theorem and Omniscience

[Theodore Sider] Logic for Philosophy

From desires, obligations and norms to goals

Edward N. Zalta - Basic Concepts in Modal Logic

The Problem of Evil An Ethical Argument Against the Existence of God, and the Defense from that Argument.

John Bateman / Till Mossakowski Adding Common Logic Support to the Heterogeneous Toolset.

1 Real-Time Systems Development by the Formal Approach - course notes - Dr. Vered Gafni.

Uncertainty, page 1 CSI 4106, Winter 2005 Representing uncertain knowledge Points Symbolic and numerical uncertainty The Closed World Assumption Predicate.

Temporal logic and functional reactive programming

Contexts for Quantification