Studia Logica 108 (1):5-47 (2020)

Authors
Abstract
This paper, being a companion to the book [2] elaborates the deontology of sequential and compound actions based on relational models and formal constructs borrowed from formal linguistics. The semantic constructions presented in this paper emulate to some extent the content of [3] but are more involved. Although the present work should be regarded as a sequel of [3] it is self-contained and may be read independently. The issue of permission and obligation of actions is presented in the form of a logical system. This system is semantically defined by providing its intended models in which the role of actions of various types is accentuated. Since the consequence relation is not finitary, other semantically defined variants of are defined. The focus is on the finitary system in which only finite compound actions are admissible. An adequate axiom system for it is defined. The strong completeness theorem is the central result. The role of the canonical model in the proof of the completeness theorem is emphasized.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-018-9834-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,342
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
A Deontic Logic of Action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.
Deontic Logic for Strategic Games.Allard Tamminga - 2013 - Erkenntnis 78 (1):183-200.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Weird Relation Between Two Cardinals.Lorenz Halbeisen - 2018 - Archive for Mathematical Logic 57 (5-6):593-599.
System BV is NP-Complete.Ozan Kahramanoğulları - 2008 - Annals of Pure and Applied Logic 152 (1):107-121.
Eventually Open Action.Barbara Majcher-Iwanow - 2012 - Mathematical Logic Quarterly 58 (1-2):95-104.
Semantique de Type Kripke d'Un Systeme Logique Base Sur Un Ensemble Fini.A. Nour - 2000 - Mathematical Logic Quarterly 46 (3):417-432.

Analytics

Added to PP index
2018-10-29

Total views
15 ( #612,192 of 2,326,062 )

Recent downloads (6 months)
2 ( #435,731 of 2,326,062 )

How can I increase my downloads?

Downloads

My notes