4978 search results - page 109 / 996 » Logical models of argument |
92
Voted
EUSFLAT
2009
15 years 1 months ago
2009
The present article dedicates itself to fuzzy modelling of data
123
Voted
ENTCS
2010
15 years 3 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
128
Voted
IGPL
2010
15 years 29 days ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
140
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
141
Voted
IJIS
2011
14 years 7 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...