479 search results - page 18 / 96 » A quantified logic of evidence |
ECCC
2006
13 years 8 months ago
2006
We formulate a formal syntax of approximate formulas for the logic with counting quantifiers, SOLP, studied by us in [1], where we showed the following facts: (i) In the presence ...
LOGCOM
2002
13 years 7 months ago
2002
One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
JSYML
2002
13 years 7 months ago
2002
An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first orde...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...