97 search results - page 3 / 20 » A Systematic Proof Theory for Several Modal Logics |
117
click to vote
BSL
2004
15 years 1 months ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
102
click to vote
AMAI
2008
Springer
15 years 1 months ago
2008
Springer
Several justification logics have been created, starting with the logic LP, [1]. These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief,...
141
click to vote
AIML
2006
15 years 3 months ago
2006
We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference ...
117
Voted
FAABS
2000
Springer
15 years 5 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
118
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...