On the formal structure of continuous action

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:78cf2615a4034f2b37f04814ea09ce40

MÜLLER, Thomas, 2005. On the formal structure of continuous action. In: SCHMIDT, Renate, ed. and others. Advances in modal logic, volume 5. London:King ' s College Publ., pp. 191-209. ISBN 1-904987-22-2

@incollection{Muller2005forma-27243, title={On the formal structure of continuous action}, year={2005}, isbn={1-904987-22-2}, address={London}, publisher={King ' s College Publ.}, booktitle={Advances in modal logic, volume 5}, pages={191--209}, editor={Schmidt, Renate}, author={Müller, Thomas} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/27243"> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-04-29T14:06:00Z</dc:date> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27243/1/M%c3%bcller_272434.pdf"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-04-29T14:06:00Z</dcterms:available> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:language>eng</dc:language> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dcterms:title>On the formal structure of continuous action</dcterms:title> <dcterms:issued>2005</dcterms:issued> <dc:creator>Müller, Thomas</dc:creator> <dc:contributor>Müller, Thomas</dc:contributor> <dcterms:abstract xml:lang="eng">Analytical investigations of agency are mostly concerned with a description ex post acto. However, continuous action (being doing something) needs to be considered as well. The paper shows that while the modal-logical treatment of agency in branching time-based stit theory is currently unable to handle continuous action, the stit framework can be extended such as to handle these cases as well. Our new operator, istit, provides for an adequate expression of the notion of being doing something, and we present a simple axiomatisation. In our extended framework, agency, ability, and refraining are linked to an agent’s current strategy.</dcterms:abstract> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27243/1/M%c3%bcller_272434.pdf"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:rights>deposit-license</dc:rights> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27243"/> <dcterms:bibliographicCitation>Advances in modal logic, volume 5 / ed. by Renate Schmidt ... - London : King's College Publ., 2005. - S. 191-209. - ISBN 1-904987-22-2</dcterms:bibliographicCitation> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Müller_272434.pdf 143

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto