Freedom and enforcement in action: a study in formal action theory
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht [u.a.]
Springer
2015
|
| Series: | Trends in Logic, Studia Logica Library
42 |
| Subjects: | |
| Online Access: | BTU01 FRO01 TUM01 UBM01 UBT01 UBW01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XV, 261 S.) 24 illus |
| ISBN: | 9789401798556 |
| ISSN: | 1572-6126 |
| DOI: | 10.1007/978-94-017-9855-6 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042669877 | ||
| 003 | DE-604 | ||
| 005 | 20200929 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150703s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401798556 |c Online |9 978-94-017-9855-6 | ||
| 024 | 7 | |a 10.1007/978-94-017-9855-6 |2 doi | |
| 035 | |a (OCoLC)915353880 | ||
| 035 | |a (DE-599)BVBBV042669877 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-703 |a DE-20 |a DE-739 |a DE-634 |a DE-861 |a DE-83 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Czelakowski, Janusz |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Freedom and enforcement in action |b a study in formal action theory |c Janusz Czelakowski |
| 264 | 1 | |a Dordrecht [u.a.] |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XV, 261 S.) |b 24 illus | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Trends in logic |v 42 |x 1572-6126 | |
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Philosophie | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-94-017-9854-9 |
| 830 | 0 | |a Trends in Logic, Studia Logica Library |v 42 |w (DE-604)BV043326888 |9 42 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-017-9855-6 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101961&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SMA | ||
| 940 | 1 | |q UBY_PDA_SMA | |
| 940 | 1 | |q ZDB-2-SMA_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028101961 | ||
| 966 | e | |u https://doi.org/10.1007/978-94-017-9855-6 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-94-017-9855-6 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-94-017-9855-6 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-94-017-9855-6 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-94-017-9855-6 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-94-017-9855-6 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-94-017-9855-6 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804174859929911296 |
|---|---|
| adam_text | FREEDOM AND ENFORCEMENT IN ACTION
/ CZELAKOWSKI, JANUSZ
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PREFACE
PART 1. ELEMENTS OF FORMAL ACTION THEORY
CHAPTER 1. ELEMENTARY ACTION SYSTEMS
CHAPTER 2. SITUATIONAL ACTION SYSTEMS
CHAPTER 3. ORDERED ACTION SYSTEMS
PART 2. FREEDOM AND ENFORCEMENT IN ACTION
CHAPTER 4. ACTION AND DEONTOLOGY
CHAPTER 5. STIT FRAMES AS ACTION SYSTEMS
CHAPTER 6. EPISTEMIC ASPECTS OF ACTION SYSTEMS
BIBLIOGRAPHY
INDEX
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FREEDOM AND ENFORCEMENT IN ACTION
/ CZELAKOWSKI, JANUSZ
: 2015
ABSTRACT / INHALTSTEXT
ACTION THEORY IS THE OBJECT OF GROWING ATTENTION IN A VARIETY OF
SCIENTIFIC DISCIPLINES, AND THIS IS THE FIRST VOLUME TO OFFER A
SYNTHETIC VIEW OF THE RANGE OF APPROACHES POSSIBLE IN THE TOPIC. THE
VOLUME FOCUSES ON THE NEXUS OF FORMAL ACTION THEORY WITH A STARTLINGLY
DIVERSE SET OF SUBJECTS, WHICH RANGE FROM LOGIC, LINGUISTICS, ARTIFICIAL
INTELLIGENCE, AND AUTOMATA THEORY TO JURISPRUDENCE, DEONTOLOGY, AND
ECONOMICS. IT COVERS SEMANTIC, MATHEMATICAL AND LOGICAL ASPECTS OF
ACTION, SHOWING HOW THE PROBLEM OF ACTION BREAKS THE BOUNDARIES OF
TRADITIONAL BRANCHES OF LOGIC LOCATED IN SYNTACTICS AND SEMANTICS AND
NOW LIES ON LIES ON THE BORDERLINE BETWEEN LOGICAL PRAGMATICS AND
PRAXEOLOGY. THE CHAPTERS HERE FOCUSON SPECIALIZED TASKS IN FORMAL
ACTION THEORY, BEGINNING WITH A THOROUGH DESCRIPTION AND FORMALIZATION
OF THE LANGUAGE OF ACTION, AND MOVING THROUGH MATERIAL ON THE DIFFERING
MODELS OF ACTION THEORY TO FOCUS ON PROBABILISTIC MODELS, THE RELATIONS
OF FORMAL ACTION THEORY TO DEONTIC LOGIC, AND ITS KEY APPLICATIONS IN
ALGORITHMIC AND PROGRAMMING THEORY. THE COVERAGE THUS FILLS A NOTABLE
LACUNA IN THE LITERARY CORPUS, AND OFFERS SOLID FORMAL UNDERPINNING IN
COGNITIVE SCIENCE BY APPROACHING THE PROBLEM OF COGNITION AS A COMPOSITE
ACTION OF MIND
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Czelakowski, Janusz |
| author_facet | Czelakowski, Janusz |
| author_role | aut |
| author_sort | Czelakowski, Janusz |
| author_variant | j c jc |
| building | Verbundindex |
| bvnumber | BV042669877 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (OCoLC)915353880 (DE-599)BVBBV042669877 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-94-017-9855-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02824nmm a2200589zcb4500</leader><controlfield tag="001">BV042669877</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200929 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150703s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401798556</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-017-9855-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-017-9855-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915353880</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042669877</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Czelakowski, Janusz</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Freedom and enforcement in action</subfield><subfield code="b">a study in formal action theory</subfield><subfield code="c">Janusz Czelakowski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 261 S.)</subfield><subfield code="b">24 illus</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Trends in logic</subfield><subfield code="v">42</subfield><subfield code="x">1572-6126</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-94-017-9854-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in Logic, Studia Logica Library</subfield><subfield code="v">42</subfield><subfield code="w">(DE-604)BV043326888</subfield><subfield code="9">42</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-017-9855-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101961&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBY_PDA_SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028101961</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-9855-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-9855-6</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-9855-6</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-9855-6</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-9855-6</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-9855-6</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-9855-6</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042669877 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:07:06Z |
| institution | BVB |
| isbn | 9789401798556 |
| issn | 1572-6126 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028101961 |
| oclc_num | 915353880 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-20 DE-739 DE-634 DE-861 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-20 DE-739 DE-634 DE-861 DE-83 |
| physical | 1 Online-Ressource (XV, 261 S.) 24 illus |
| psigel | ZDB-2-SMA UBY_PDA_SMA ZDB-2-SMA_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Trends in Logic, Studia Logica Library |
| series2 | Trends in logic |
| spelling | Czelakowski, Janusz Verfasser aut Freedom and enforcement in action a study in formal action theory Janusz Czelakowski Dordrecht [u.a.] Springer 2015 1 Online-Ressource (XV, 261 S.) 24 illus txt rdacontent c rdamedia cr rdacarrier Trends in logic 42 1572-6126 Philosophy (General) Logic Computer science Logic, Symbolic and mathematical Philosophy Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Philosophie Erscheint auch als Druckausgabe 978-94-017-9854-9 Trends in Logic, Studia Logica Library 42 (DE-604)BV043326888 42 https://doi.org/10.1007/978-94-017-9855-6 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101961&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Czelakowski, Janusz Freedom and enforcement in action a study in formal action theory Trends in Logic, Studia Logica Library Philosophy (General) Logic Computer science Logic, Symbolic and mathematical Philosophy Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Philosophie |
| title | Freedom and enforcement in action a study in formal action theory |
| title_auth | Freedom and enforcement in action a study in formal action theory |
| title_exact_search | Freedom and enforcement in action a study in formal action theory |
| title_full | Freedom and enforcement in action a study in formal action theory Janusz Czelakowski |
| title_fullStr | Freedom and enforcement in action a study in formal action theory Janusz Czelakowski |
| title_full_unstemmed | Freedom and enforcement in action a study in formal action theory Janusz Czelakowski |
| title_short | Freedom and enforcement in action |
| title_sort | freedom and enforcement in action a study in formal action theory |
| title_sub | a study in formal action theory |
| topic | Philosophy (General) Logic Computer science Logic, Symbolic and mathematical Philosophy Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Philosophie |
| topic_facet | Philosophy (General) Logic Computer science Logic, Symbolic and mathematical Philosophy Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Philosophie |
| url | https://doi.org/10.1007/978-94-017-9855-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101961&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV043326888 |
| work_keys_str_mv | AT czelakowskijanusz freedomandenforcementinactionastudyinformalactiontheory |