Avancerad sökning

Hittade 1 avhandling som matchar ovanstående sökkriterier.

1. 1. Term-modal logic and quantifier-free dynamic assignment logic

   Författare :Lars Thalmann; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information technology; Informationsteknik;

   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