A general proof method for modal predicate logic

Peter Jackson; Han Reichgelt; Johannes (Han) Reichgelt

A general proof method for modal predicate logic

Peter Jackson
, Han Reichgelt
, Johannes (Han) Reichgelt

University of South Florida

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	American English
Title of host publication	A general proof method for modal predicate logic
State	Published - Jan 1 1989

Disciplines

Business

Cite this

@inbook{93d54d9a27704b2e9f1a0bb38e13ab33,

title = "A general proof method for modal predicate logic",

author = "Peter Jackson and Han Reichgelt and Reichgelt, \{Johannes (Han)\}",

note = "Jackson, P. \& Reichgelt, H. (1989). A general proof method for modal predicate logic. In P. Jackson, H. Reichgelt, \& F. van Harmelen, Logic-based knowledge representation. (pp: 177-228). Cambridge, MA: MIT Press.",

year = "1989",

month = jan,

day = "1",

language = "American English",

booktitle = "A general proof method for modal predicate logic",

}

TY - CHAP

T1 - A general proof method for modal predicate logic

AU - Jackson, Peter

AU - Reichgelt, Han

AU - Reichgelt, Johannes (Han)

N1 - Jackson, P. & Reichgelt, H. (1989). A general proof method for modal predicate logic. In P. Jackson, H. Reichgelt, & F. van Harmelen, Logic-based knowledge representation. (pp: 177-228). Cambridge, MA: MIT Press.

PY - 1989/1/1

Y1 - 1989/1/1

UR - https://digitalcommons.usf.edu/fac_publications/2081

M3 - Chapter

BT - A general proof method for modal predicate logic

ER -

A general proof method for modal predicate logic

Disciplines

Other files and links

Cite this