-
1
-
-
0000672836
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
-
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
-
-
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
-
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
-
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
-
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
-
17
-
-
0020884918
-
Permissions and obligations
-
Karlsruhe, W. Germany, Kaufmann
-
MCCARTY, L. T., 1983, Permissions and obligations, Proceedings of the Eighth International Joint Conference on Artificial Intelligence, 287-294, Karlsruhe, W. Germany, Kaufmann.
-
(1983)
Proceedings of the Eighth International Joint Conference on Artificial Intelligence
, pp. 287-294
-
-
Mccarty, L.T.1
-
18
-
-
53349122168
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
25
-
-
22144497283
-
The inheritance of dynamic and deontic integrity constraints
-
Baltzer A. G
-
WIERiNGA, R., H. WEIGAND, J. -J. CH. MEYER, and F. DIGNUM, 1991, The inheritance of dynamic and deontic integrity constraints, Annals of Mathematics and Artificial Intelligence 3, 393-428, Baltzer A. G.
-
(1991)
Annals of Mathematics and Artificial Intelligence
, vol.3
, pp. 393-428
-
-
Wieringa, R.1
Weigand, H.2
Meyer, J.-J.C.H.3
Dignum, F.4
-
26
-
-
21144463726
-
Actors, Actions and Initiative in Normative System Specification
-
WIERINGA, R. J., and J. -J. CH. MEYER, 1993, Actors, Actions and Initiative in Normative System Specification, Annals of Mathematics and Artificial Intelligence 7, 289-346.
-
(1993)
Annals of Mathematics and Artificial Intelligence
, vol.7
, pp. 289-346
-
-
Wieringa, R.J.1
Meyer, J.-J.C.H.2
-
27
-
-
0039193007
-
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
-
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
|