27 search results - page 1 / 6 » The Modal Formula (...) Is Not First-Order Definable |
TBILLC
2007
Springer
14 years 4 months ago
2007
Springer
IGPL
2002
13 years 10 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 11 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 11 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
14 years 2 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 ...