Documentation for package :modal

Author: R. Scott McIntire

Version: 1.0

Overview

agent-knows   (agent world prop &key (modal-system *modal-system*))

clear-modal-systems   nil

defmodal   (sym &key kripke props primitive-truth-function)

get-modal-system   (sym &optional error)

is-true?   (world prop &key (modal-system *modal-system*))

make-world   (name kripke-info prop-info &key (primitive-truth-function +primitive-truth-function+))

satisfies?   (prop &key (modal-system *modal-system*))

set-modal-system   (sym &optional error)