A note on brute vs. institutional facts: Modal logic of equivalence up to a signature
| 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 |
|
| 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 | |
