Sciweavers

SLOGICA
2010
105views more  SLOGICA 2010»
13 years 5 months ago
Monadic Bounded Algebras
Galym Akishev, Robert Goldblatt
SLOGICA
2010
135views more  SLOGICA 2010»
13 years 5 months ago
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...
Brian Hill, Francesca Poggiolesi
SLOGICA
2010
97views more  SLOGICA 2010»
13 years 9 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher
SLOGICA
2010
138views more  SLOGICA 2010»
13 years 9 months ago
Extensionality and Restriction in Naive Set Theory
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...
Zach Weber
SLOGICA
2010
81views more  SLOGICA 2010»
13 years 9 months ago
Theories with the Independence Property
Abstract. For a first-order formula ϕ(x; y) we introduce and study the characteristic sequence Pn : n < ω of hypergraphs defined by Pn(y1, . . . , yn) := (∃x) i≤n ϕ(x; ...
M. L. J. van de Vel