메뉴 건너뛰기




Volumn 57, Issue 1, 1996, Pages 193-220

Free choice and contextually permitted actions

Author keywords

Actions; Contexts; Dynamic logic

Indexed keywords


EID: 10944256990     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/bf00370675     Document Type: Article
Times cited : (24)

References (28)
  • 1
    • 0000672836 scopus 로고
    • Deontic logic
    • D. M. Gabbay and F. Günthner, editors, Reidel
    • AQVIST, L., 1984, Deontic logic, In D. M. Gabbay and F. Günthner, editors, Handbook of Philosophical Logic II, 605-714, Reidel.
    • (1984) Handbook of Philosophical Logic II , pp. 605-714
    • Aqvist, L.1
  • 4
    • 0022875062 scopus 로고
    • A theory for nondeterminism, parallelism, communication and concurrency
    • BROY, M., 1986, A theory for nondeterminism, parallelism, communication and concurrency, Theoretical Computer Science 45, 1-62.
    • (1986) Theoretical Computer Science , vol.45 , pp. 1-62
    • Broy, M.1
  • 5
    • 53349120085 scopus 로고
    • Contrasting themes in the semantics of imperative concurrency'
    • J. W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, LCNS 224 Springer, Berlin
    • DE BARKER, J. W., J. N. KOK, J. -J. CH. MEYER, E. -R. OLDEROG, and J. I. ZUCKER, 1986, Contrasting themes in the semantics of imperative concurrency'. In J. W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, 51-121. LCNS 224 Springer, Berlin.
    • (1986) Current Trends in Concurrency: Overviews and Tutorials , pp. 51-121
    • De Barker, J.W.1    Kok, J.N.2    Meyer, J.-J.C.H.3    Olderog, E.R.4    Zucker, J.I.5
  • 6
    • 0008494634 scopus 로고
    • The Paradoxes of Deontic Logic: The simplest solution to all of them in one fell swoop'
    • R. Hilpinen, editor, Reidel
    • CASTANEDA, H. -N., 1981, The Paradoxes of Deontic Logic: The simplest solution to all of them in one fell swoop'. In R. Hilpinen, editor, New Studies in Deontic Logic, 37-85, Reidel.
    • (1981) New Studies in Deontic Logic , pp. 37-85
    • Castaneda, H.N.1
  • 8
    • 9444282435 scopus 로고
    • Negations of transactions and their use in the specification oi dynamic and deontic integrity constraints'
    • M. Kwiatkowska, M.W. Shields, and R.M. Thomas, editors, Springer, Berlin.
    • DlGNUM, F., and J. -J. Cu. MEYER, 1990, Negations of transactions and their use in the specification oi dynamic and deontic integrity constraints'. In M. Kwiatkowska, M.W. Shields, and R.M. Thomas, editors, Semantics for Concurrency, Leicester 1990, 61-80, Springer, Berlin.
    • (1990) Semantics for Concurrency, Leicester 1990 , pp. 61-80
    • Dlgnum, F.1    Meyer, J.-J.Cu.2
  • 9
    • 0040974855 scopus 로고
    • Using transactions in integrity constraints
    • Amsterdam
    • DIGNUM, F., 1992, Using transactions in integrity constraints, Workshop on Applied Logic, Amsterdam.
    • (1992) Workshop on Applied Logic
    • Dignum, F.1
  • 10
    • 0003466885 scopus 로고
    • University of Chicago Press. L. T. F. Gamut is a pseudonym for J. F. A. K. van Benthem, J. Groenendijk, D. de Jongh, M. Stokhof, and H. Verkuyl.
    • GAMUT, L. T, F., 1991, Logic, Language and Meaning 1: Introduction to Logic, University of Chicago Press. L. T. F. Gamut is a pseudonym for J. F. A. K. van Benthem, J. Groenendijk, D. de Jongh, M. Stokhof, and H. Verkuyl.
    • (1991) Logic, Language and Meaning 1: Introduction to Logic
    • Gamut, L.T.F.1
  • 11
    • 0003466885 scopus 로고
    • University of Chicago Press. L. T. F. Gamut is a pseudonym for J. F. A. K. van Benthem, J. Groenendijk, D. de Jongh, M. Stokhof, and H. Verkuyl.
    • GAMUT, L. T. F., 1991, Logic, Language and Meaning 2: Intensional Logic and Logical Grammar, University of Chicago Press. L. T. F. Gamut is a pseudonym for J. F. A. K. van Benthem, J. Groenendijk, D. de Jongh, M. Stokhof, and H. Verkuyl.
    • (1991) Logic, Language and Meaning 2: Intensional Logic and Logical Grammar
    • Gamut, L.T.F.1
  • 12
    • 0003814994 scopus 로고
    • Springer. Lecture Notes in Computer Science 68.
    • HAREL, D., 1979, First Order Dynamic Logic, Springer. Lecture Notes in Computer Science 68.
    • (1979) First Order Dynamic Logic
    • Harel, D.1
  • 13
    • 22344443547 scopus 로고
    • Conditionals in possible worlds'
    • G. Fløstad, editor, Reidel.
    • HlLPINEN, R., 1981, Conditionals in possible worlds'. In G. Fløstad, editor, Contemporary Philosophy, a New Survey 1, 299-335. Reidel.
    • (1981) Contemporary Philosophy, a New Survey , vol.1 , pp. 299-335
    • Hllpinen, R.1
  • 15
    • 9444241896 scopus 로고
    • The prescription and description of state based systems'
    • B. Banieqbal, H. Barringer, and A. Pnueli, editors, Springer. Lecture Notes in Computer Science 398.
    • KHOSLA, S., and T. S. E. MAIBAUM, 1987, The prescription and description of state based systems'. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, 243-294, Springer. Lecture Notes in Computer Science 398.
    • (1987) Temporal Logic in Specification , pp. 243-294
    • Khosla, S.1    Maibaum, T.S.E.2
  • 16
    • 0001110949 scopus 로고
    • Logics of programs'
    • Jan van Leeuwen, editor, Elsevier Science Publishers
    • KOZEN, D., and J. TlURYN, 1990, Logics of programs'. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, 789-840, Elsevier Science Publishers.
    • (1990) Handbook of Theoretical Computer Science , pp. 789-840
    • Kozen, D.1    Tluryn, J.2
  • 18
    • 53349122168 scopus 로고
    • Permissions and obligations: An informal introduction'
    • A.A. Martino and F.S. Natali, editors, North-Holland, 1986. Edited versions of selected papers from the Second International Conference on "Logic, Informatics, Law," Florence, Italy
    • MCCARTY, L. T., 1985, Permissions and obligations: An informal introduction'. In A.A. Martino and F.S. Natali, editors, Automated Analysis of Legal Texts, 307-337. North-Holland, 1986. Edited versions of selected papers from the Second International Conference on "Logic, Informatics, Law," Florence, Italy.
    • (1985) Automated Analysis of Legal Texts , pp. 307-337
    • Mccarty, L.T.1
  • 19
    • 50849096406 scopus 로고
    • A simple solution to the 'deepest' paradox in deontic logic
    • MEYER, J. -J. CH., 1987, A simple solution to the 'deepest' paradox in deontic logic, Logique et Analyse, Nouvelle Série 30, 81-90.
    • (1987) Logique et Analyse, Nouvelle Série , vol.30 , pp. 81-90
    • Meyer, J.-J.C.H.1
  • 20
    • 84972542053 scopus 로고
    • A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
    • MEYER, J. -J. GH., 1988, A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic, Notre Dame Journal of Formal Logic 29, 109-136.
    • (1988) Notre Dame Journal of Formal Logic , vol.29 , pp. 109-136
    • Meyer, J.-J.G.H.1
  • 21
    • 25444477985 scopus 로고
    • Using Programming Concepts in Deontic Reasoning'
    • R. Bartsch, J. van Benthem, and P. van Emde Boas, editors, Foris, Dordrecht
    • MEYER, J. -J. CH., 1989, Using Programming Concepts in Deontic Reasoning'. In R. Bartsch, J. van Benthem, and P. van Emde Boas, editors, Semantics and Contextual Expression, 117-145, Foris, Dordrecht.
    • (1989) Semantics and Contextual Expression , pp. 117-145
    • Meyer, J.-J.C.H.1
  • 22
    • 52849098343 scopus 로고
    • Free Choice Permissions and Ross's Paradox: Internal vs. External Nondeterminism'
    • C. P. Dekker and M. Stockhof, editors, University of Amsterdam
    • MEYER, J. -J. CH., 1992, Free Choice Permissions and Ross's Paradox: Internal vs. External Nondeterminism'. In C. P. Dekker and M. Stockhof, editors, Proceedings 8th. Amsterdam Collloquium, 367-380, University of Amsterdam.
    • (1992) Proceedings 8th. Amsterdam Collloquium , pp. 367-380
    • Meyer, J.-J.C.H.1
  • 23
    • 25444441120 scopus 로고
    • A deontic logic of action
    • SEGERBERG, K., 1982, A deontic logic of action, Studia Logica 41, 269-282.
    • (1982) Studia Logica , vol.41 , pp. 269-282
    • Segerberg, K.1
  • 24
    • 0039726322 scopus 로고
    • Specifying dynamic and deontic integrity constraints in knowledge bases
    • WIERINGA, R., J. -J. CH. MEYER, and H. WEIGAND, 1989, Specifying dynamic and deontic integrity constraints in knowledge bases, Data & Knowledge Engineering 4, 157-189.
    • (1989) Data & Knowledge Engineering , vol.4 , pp. 157-189
    • Wieringa, R.1    Meyer, J.-J.C.H.2    Weigand, H.3
  • 27
    • 0039193007 scopus 로고
    • Deontic logic
    • VON WRIGHT, G. H., 1951, Deontic logic, Mind 60, 1-15.
    • (1951) Mind , vol.60 , pp. 1-15
    • Von Wright, G.H.1
  • 28
    • 0009885792 scopus 로고
    • An Essay in Deontic Logic and thé General Theory of Action
    • North-Holland
    • VON WRIGHT, G. H., 1968, An Essay in Deontic Logic and thé General Theory of Action, Acta Philosophica Fennica 21, North-Holland.
    • (1968) Acta Philosophica Fennica , vol.21
    • Von Wright, G.H.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.