ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (3)
  • Springer  (3)
  • Elsevier
  • Springer Nature
  • Philosophy  (3)
  • 1
    Electronic Resource
    Electronic Resource
    Normal bimodal logics of ability and action (1992)
    Springer
    Studia logica 51 (1992), S. 519-532 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The basic bimodal systemK/K can be interpreted as an analysis of the logic of ability developed in [1]. Where in [1] we would express the claimI can bring it about that P using the formula , with its non-normal operator , we will now use the formula . Here is a normal alethic possibilitation operator. is a normal necessitation operator, but it is independent of , and not subject to an alethic interpretation. Rather, is interpreted to meanI bring it about that P. The result is a simplification and clarification of a combined logic of ability and action like that in [2], but employing only normal operators. A number of extensions of the basic systemK/K are constructed, first by strengthening the two normal sublogics independently and then by linking the two sublogics via axiom schemata involving both operators. The result is a series of increasingly strong systems which more and more adequately fulfill our expectations for a satisfactory logic of action and ability.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01028973
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    A logic of comparative obligation (1996)
    Springer
    Studia logica 57 (1996), S. 117-137 
    Details
    ISSN: 1572-8730
    Keywords: deontic logic ; conflicting obligation ; partial ordering ; modal logic ; urgency comparison
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Normal systems of modal logic, interpreted as deontic logics, are unsuitable for a logic of conflicting obligations. By using modal operators based on a more complex semantics, however, we can provide for conflicting obligations, as in [9], which is formally similar to a fragment of the logic of ability later given in [2], Having gone that far, we may find it desirable to be able to express and consider claims about the comparative strengths, or degrees of urgency, of the conflicting obligations under which we stand. This paper, building on the formalism of the logic of ability in [2], provides a complete and decidable system for such a language.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00370672
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Books received (1995)
    Springer
    Studia logica 54 (1995), S. 411-424 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01053007
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...