479 search results - page 1 / 96 » A quantified logic of evidence |
APAL
2008
13 years 5 months ago
2008
A propositional logic of explicit proofs, LP, was introduced in [2], completing a project begun long ago by G
AMSTERDAM
2009
13 years 3 months ago
2009
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
AIML
2006
13 years 6 months ago
2006
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfort...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
AIML
2008
13 years 6 months ago
2008
There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study th...