A topological logic of action

Studia Logica 43 (4):415 - 419 (1984)
  Copy   BIBTEX

Abstract

We consider a quantifier-free language in which there are terms as well as formulas. The proposition-forming propositional operators are the usual ones, and the term-making term operators are the usual lattice theoretical ones. In addition there is a formula-making term operator, does. We study a new logic in which does is claimed to approximate some features of the informal concept the agent performs the action.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,217

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Deontic Logics based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - 2013 - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Dordrecht, Netherland: Springer Verlag.
Term-Forming Operators in First Order Logic.David Michael Devidi - 1994 - Dissertation, The University of Western Ontario (Canada)
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Subatomic Negation.Bartosz Więckowski - 2021 - Journal of Logic, Language and Information 30 (1):207-262.

Analytics

Added to PP
2009-01-28

Downloads
62 (#351,557)

6 months
4 (#1,107,690)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

References found in this work

A logical analysis of some value concepts.Frederic Fitch - 1963 - Journal of Symbolic Logic 28 (2):135-142.
The logic of deliberate action.Krister Segerberg - 1982 - Journal of Philosophical Logic 11 (2):233 - 254.
The system cδ of combinatory logic.Frederic B. Fitch - 1963 - Journal of Symbolic Logic 28 (1):87-97.

Add more references