| Authors |
|
| Publication date |
2009
|
| Journal |
Dagstuhl Seminar Proceedings
|
| Event |
Normative Multi-Agent Systems (NorMAS-09), Dagstuhl, Germany
|
| Volume | Issue number |
09121
|
| Number of pages |
10
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
The paper investigates the famous Searlean distinction between "brute" and "institutional" concepts from a logical point of view. We show how the partitioning of the non-logical alphabet—e.g., into "brute" and "institutional" atoms—gives rise to interesting modal properties. A modal logic, called UpTo-logic, is introduced and investigated which formalizes the notion of (propositional) logical equivalence up to a given signature.
|
| Document type |
Article
|
| Note |
Proceedings title: Normative Multi-Agent Systems
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Place of publication: Wadern
Editors: G. Boella, P. Noriega, G. Pigozzi, H. Verhagen
|
| Language |
English
|
| Published at |
http://drops.dagstuhl.de/opus/volltexte/2009/1910
|
|
Permalink to this page
|
