LEADER 03837nam  22006015  450 
001 9910299776603321
005 20200701155827.0
010   $a94-017-9855-9
024 7 $a10.1007/978-94-017-9855-6
035   $a(CKB)3710000000434443
035   $a(EBL)2096944
035   $a(SSID)ssj0001524905
035   $a(PQKBManifestationID)11835278
035   $a(PQKBTitleCode)TC0001524905
035   $a(PQKBWorkID)11484854
035   $a(PQKB)10165198
035   $a(DE-He213)978-94-017-9855-6
035   $a(MiAaPQ)EBC2096944
035   $a(PPN)186400497
035   $a(EXLCZ)993710000000434443
100   $a20150610d2015      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aFreedom and Enforcement in Action $eA Study in Formal Action Theory /$fby Janusz Czelakowski
205   $a1st ed. 2015.
210  1$aDordrecht :$cSpringer Netherlands :$cImprint: Springer,$d2015.
215   $a1 online resource (272 p.)
225 1 $aTrends in Logic, Studia Logica Library,$x1572-6126 ;$v42
300   $aDescription based upon print version of record.
311   $a94-017-9854-0 
320   $aIncludes bibliographical references and index.
327   $aPreface -- 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.
330   $aAction 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 focus on 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.
410  0$aTrends in Logic, Studia Logica Library,$x1572-6126 ;$v42
606   $aLogic
606   $aLogic, Symbolic and mathematical
606   $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aLogic.
615  0$aLogic, Symbolic and mathematical.
615 14$aLogic.
615 24$aMathematical Logic and Formal Languages.
615 24$aMathematical Logic and Foundations.
676   $a128.3
700   $aCzelakowski$b Janusz$4aut$4http://id.loc.gov/vocabulary/relators/aut$0755628
906   $aBOOK
912   $a9910299776603321
996   $aFreedom and enforcement in action$91522914
997   $aUNINA