Result 1 to 20 of 105 total
Permission from an input/output perspective. (English)
J. Philos. Log. 32, No.4, 391-416 (2003).
1
Two-phase deontic logic. (English)
Log. Anal., Nouv. Sér. 43, No.171-172, 411-456 (2000).
2
On a fundamental problem of deontic logic. (English)
McNamara, P. (ed.) et al., Norms, logics and information systems. New studies in deontic logic and computer science. Selected papers of the 4th $Δ$EON workshop, Bologna, Italy, January 8-10, 1998. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 49, 29-53 (1999).
3
Deontic logic ‒ as I see it. (English)
McNamara, P. (ed.) et al., Norms, logics and information systems. New studies in deontic logic and computer science. Selected papers of the 4th $Δ$EON workshop, Bologna, Italy, January 8-10, 1998. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 49, 15-25 (1999).
4
A completeness proof for propositional S4 in Cantor space. (English)
Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 79-88 (1999).
5
Modal foundations for predicate logic. (English)
Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 39-54 (1999).
6
Alternative action theory. Simultaneously a critique of Georg Henrik von Wright’s practical philosophy. Translated from the German by Jacques Zwart. (English)
Theory and Decision Library. Series A: Philosophy and Methodology of the Social Sciences. 26. Dordrecht: Kluwer Academic Publishers. xviii, 318 p. \$ 122.00; Dfl. 225.00; \sterling 77.00 (1998).
7
In defense of epistemic arithmetic. (English)
Synthese 116, No.1, 1-25 (1998).
8
Construction of truth predicates: Approximation versus revision. (English)
Bull. Symb. Log. 4, No.4, 399-417 (1998).
9
Prohairetic deontic logic (PDL). (English)
Dix, Jürgen (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’98. Dagstuhl, Germany, October 12‒15, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1489, 77-91 (1998).
10
A natural negation completion of Urquhart’s many-valued logic $C$. (English)
J. Philos. Log. 27, No.1, 75-84 (1998).
11
Extending deontic logic for the formalisation of legal rules. (English)
Law and Philosophy Library. 36. Dordrecht: Kluwer Academic Publishers. ix, 191 p. \sterling 59.00; \$ 94.00; Dfl. 175.00 (1998).
12
The is-ought problem. An investigation in philosophical logic. (English)
Trends in Logic—Studia Logica Library. 1. Dordrecht: Kluwer Academic Publishers. x, 332 p. \$ 130.50; \sterling 86.00; Dfl. 215.00 (1997).
13
Deontic logic in the work of Professor Tadeusz Kubiński. (English)
Acta Univ. Wratislav., Log. 1890(17), 51-65 (1997).
14
The modal object calculus and its interpretation. (English)
Rijke, Maarten de (ed.), Advances in intensional logic. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 7, 249-279 (1997).
15
A new approach to contrary-to-duty obligations. (English)
Nute, Donald (ed.), Defeasible deontic logic. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 263, 317-344 (1997).
16
The many faces of defeasibility in defeasible deontic logic. (English)
Nute, Donald (ed.), Defeasible deontic logic. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 263, 79-121 (1997).
17
Deontic logics of defeasibility. (English)
Nute, Donald (ed.), Defeasible deontic logic. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 263, 45-57 (1997).
18
Introduction. (English)
Nute, Donald (ed.), Defeasible deontic logic. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 263, 1-16 (1997).
19
Informal rigor and mathematical understanding. (English)
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC ’97. Vienna, Austria. August 25‒29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1289, 54-64 (1997).
20
Result 1 to 20 of 105 total
Start
Contact
Print
General Help
