Forsiden Kort visning: Alle   Videnskabsfag   Model   Profession
Lang visning: Alle   Videnskabsfag   Model   Profession
Epistemic Term-modal logic
Modelprojekt, 1. modul, 2010, id:400
Vejleder:Eksaminator Anders Madsen
Findes på RUb: Ja
English abstract
In the present paper syntax, constant domain semantics with non-riged constants and an axiom system for n-agent systems with identity for a term-modal logic is presented. This allows operator indices to be terms of the first-order language resulting in poerators doubling as predicates. Quantification over agents is possible and the agents are reflected in the semantic structure. It is shown how classic epistemic axioms af S5 can be added to the core system. Examples of expressibility are given, and venues of further research addressed.

Database opslag den: 21-01-2019