메뉴 건너뛰기




Volumn 1085, Issue , 1996, Pages 291-304

Labelling ideality and subideality

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

EID: 84858657780     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_80     Document Type: Conference Paper
Times cited : (3)

References (19)
  • 2
    • 0012211677 scopus 로고    scopus 로고
    • Towards a Computational Treatment of Deontic Defeasibility
    • M. Brown and J. Carmo (eds), Springer-Verlag, Berlin, 1996
    • Alberto Artosi, Guido Governatori and Giovanni Sartor 1996. Towards a Computational Treatment of Deontic Defeasibility. In M. Brown and J. Carmo (eds). Deontic Logic, Agency and Normative Systems. Workshop in Computing, Springer-Verlag, Berlin, 1996: 27-46.
    • (1996) Deontic Logic, Agency and Normative Systems. Workshop in Computing , pp. 27-46
    • Artosi, A.1    Governatori, G.2    Sartor, G.3
  • 3
    • 0003874773 scopus 로고
    • Cambridge University Press, Cambridge, 1994
    • George Boolos 1993. The Logic of Provability. Cambridge University Press, Cambridge, 1994.
    • (1993) The Logic of Provability
    • Boolos, G.1
  • 6
    • 0001417922 scopus 로고
    • A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics
    • Marcello D’Agostino and Dov M. Gabbay 1994. A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. Journal of Automated Reasoning 13, 1994: 243-281.
    • (1994) Journal of Automated Reasoning , vol.13 , Issue.1994 , pp. 243-281
    • D’Agostino, M.1    Gabbay, D.M.2
  • 7
    • 0004319964 scopus 로고
    • The semantic Foundations of Logic
    • Kluwer, Dordrecht, 1990
    • Richard D. Epstein 1990. The semantic Foundations of Logic. Volume 1: Propositional Logics. Kluwer, Dordrecht, 1990.
    • (1990) Propositional Logics , vol.1
    • Epstein, R.D.1
  • 11
    • 84949220981 scopus 로고
    • Labelled Tableaux for Multimodal Logics
    • P. Baumgatner, R. Hänhle, J. Posegga eds, Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1995
    • Guido Governatori 1995. Labelled Tableaux for Multimodal Logics, in P. Baumgatner, R. Hänhle, J. Posegga eds. Fourth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1995: 79-95
    • (1995) Fourth Workshop on Theorem Proving with Analytic Tableaux and Related Methods , pp. 79-95
    • Governatori, G.1
  • 12
    • 84984020790 scopus 로고
    • On the Logic of Deontic Conditionals
    • Andrew J.I. Jones 1991. On the Logic of Deontic Conditionals. Ratio Juris 4, 1991: 355-366.
    • (1991) Ratio Juris , vol.4 , Issue.1991 , pp. 355-366
    • Jones, J.I.J.1
  • 13
    • 0007727394 scopus 로고
    • Ideality, Sub-Ideality and Deontic Logic
    • Andrew J.I. Jones and Ingmar Pörn 1985. Ideality, Sub-Ideality and Deontic Logic. Synthese 65, 1985: 275-290.
    • (1985) Synthese , vol.65 , Issue.1985 , pp. 275-290
    • Jones, J.I.J.1    Pörn, I.2
  • 14
    • 0011346544 scopus 로고
    • Ought" and "Must
    • Andrew J.I. Jones and Ingmar Pörn 1986. "Ought" and "Must". Synthese 66, 1986: 89-93.
    • (1986) Synthese , vol.66 , Issue.1986 , pp. 89-93
    • Jones, J.I.J.1    Pörn, I.2
  • 15
    • 84947902162 scopus 로고
    • Sulla logica delle norme (manoscritto)
    • 1989
    • Hans Kelsen 1989. Sulla logica delle norme (manoscritto). Materiali per una cultura giuridica XIX, 1989: 454-468.
    • (1989) Materiali per una cultura giuridica , vol.19 , pp. 454-468
    • Kelsen, H.1
  • 16
    • 0001424061 scopus 로고
    • Semantics-Based Translation Methods for Modal Logics
    • Hans J. Ohlbach 1991. Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation 1, 1991: 691-746.
    • (1991) Journal of Logic and Computation , vol.1 , Issue.1991 , pp. 691-746
    • Ohlbach, H.J.1
  • 17
    • 8744292191 scopus 로고    scopus 로고
    • Generalising Propositional Modal Logic Using Labelled Deductive Systems
    • Forthcoming
    • Alessandra Russo 1996. Generalising Propositional Modal Logic Using Labelled Deductive Systems. In Proceedings of FroCoS, Forthcoming.
    • (1996) Proceedings of FroCoS
    • Russo, A.1


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