27 search results - page 1 / 6 » The Modal Formula (...) Is Not First-Order Definable |
TBILLC
2007
Springer
13 years 11 months ago
2007
Springer
IGPL
2002
13 years 5 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...
CADE
2003
Springer
14 years 5 months ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
TABLEAUX
2000
Springer
13 years 8 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...