AIML
2004
13 years 6 months ago
2004
This paper aims to examine Horty's proposal of utilitarian deontic logic [7]. It will focus on his dominance operators by way of simplified semantics. An axiomatization of the...
AIML
2004
13 years 6 months ago
2004
abstract. Analytical investigations of agency are mostly concerned with a description ex post acto. However, continuous action (being doing something) needs to be considered as wel...
AIML
2008
13 years 6 months ago
2008
AIML
2008
13 years 6 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...
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...
AIML
2008
13 years 6 months ago
2008
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...
AIML
2008
13 years 6 months ago
2008
In this paper we prove that Japaridze's Polymodal Logic is PSPACE-decidable. To show this, we describe a decision procedure for satisfiability on hereditarily ordered frames t...
AIML
2008
13 years 6 months ago
2008
abstract. We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a ...
AIML
2008
13 years 6 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
AIML
2008
13 years 6 months ago
2008
We give a sound and complete derivation system for the valid formulas in the finitary version of Moss' coalgebraic logic, for coalgebras of arbitrary type.