Sökning: "Lars Thalmann"
Hittade 1 avhandling innehållade orden Lars Thalmann.
1. Term-modal logic and quantifier-free dynamic assignment logic
Sammanfattning : In this dissertation, we present two new sorts of computer sciencelogics. Many powerful logics exist today for reasoning about multi-agentsystems, but in most of these it is hard to reason about an infiniteor indeterminate number of agents. Also the naming schemes used inthe logics often lack expressiveness to name agents in an intuitiveway. LÄS MER
Resultatsidor:
1