A note on brute vs. institutional facts: Modal logic of equivalence up to a signature

Grossi, D.

Author: D. Grossi
Year: 2009
Title: A note on brute vs. institutional facts: Modal logic of equivalence up to a signature
Journal: Dagstuhl Seminar Proceedings
Volume: 09121
Document type: Article
Faculty: Interfacultary Research Institutes
Institute: 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.
Link: Link
Language: English
Note: Proceedings title: Normative Multi-Agent Systems
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Place of publication: Wadern
Editors: G. Boella, P. Noriega, G. Pigozzi, H. Verhagen
Permalink: http://hdl.handle.net/11245/1.324441

Disclaimer/Complaints regulations

If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.