Modal Languages and Bounded Fragments of Predicate Logic.

Hajnal Andréka István Németi Johan van Benthem

Published in: J. Philos. Log. (1998)

Keyphrases

predicate logic
highly expressive
knowledge representation and reasoning
temporal logic
formal logic
modal logic
expressive power
semantic net
semantic network
computational linguistics
databases
description logics
incomplete information
predicate calculus
order sorted