On the formal structure of continuous action
Lade...
Dateien
Datum
2005
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Beitrag zu einem Sammelband
Publikationsstatus
Published
Erschienen in
SCHMIDT, Renate, ed. and others. Advances in modal logic, volume 5. London: King ' s College Publ., 2005, pp. 191-209. ISBN 1-904987-22-2
Zusammenfassung
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.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
100 Philosophie
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
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., 2005, pp. 191-209. ISBN 1-904987-22-2BibTex
@incollection{Muller2005forma-27243, year={2005}, title={On the formal structure of continuous action}, isbn={1-904987-22-2}, publisher={King ' s College Publ.}, address={London}, booktitle={Advances in modal logic, volume 5}, pages={191--209}, editor={Schmidt, Renate}, author={Müller, Thomas} }
RDF
<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/server/rdf/resource/123456789/27243"> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27243"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dc:language>eng</dc:language> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:creator>Müller, Thomas</dc:creator> <dc:contributor>Müller, Thomas</dc:contributor> <dc:rights>terms-of-use</dc:rights> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-04-29T14:06:00Z</dcterms:available> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27243/1/M%c3%bcller_272434.pdf"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27243/1/M%c3%bcller_272434.pdf"/> <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> <dcterms:issued>2005</dcterms:issued> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dcterms:title>On the formal structure of continuous action</dcterms:title> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-04-29T14:06:00Z</dc:date> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <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> </rdf:Description> </rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Nein