메뉴 건너뛰기




Volumn 1071, Issue , 1996, Pages 48-64

Almost duplication-free tableau calculi for propositional lax logics

Author keywords

Duplications; Intuitionistic modal logics; Refutation systems

Indexed keywords

BIOMINERALIZATION; C (PROGRAMMING LANGUAGE); CALCULATIONS; FORMAL LOGIC; PATHOLOGY; RECONFIGURABLE HARDWARE; SEMANTICS;

EID: 21344474062     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61208-4_4     Document Type: Conference Paper
Times cited : (3)

References (16)
  • 1
    • 0040241326 scopus 로고
    • A uniform tableau method for intuitionistic modal logics I*
    • G. Amati and F. Pirri. A uniform tableau method for intuitionistic modal logics I*. Studia Logica, 53(1):29-60, 1994.
    • (1994) Studia Logica , vol.53 , Issue.1 , pp. 29-60
    • Amati, G.1    Pirri, F.2
  • 2
    • 51249186937 scopus 로고
    • Models for normal intuitionistic modal logics
    • M. Bozic and K. Dosen. Models for normal intuitionistic modal logics. Studia Logica, 43:217-245, 1984.
    • (1984) Studia Logica , vol.43 , pp. 217-245
    • Bozic, M.1    Dosen, K.2
  • 4
    • 0347006812 scopus 로고
    • The elimination theorem when modality is present
    • H.B. Curry. The elimination theorem when modality is present. The Journal of Symbolic Logic, 17:249-265, 1952.
    • (1952) The Journal of Symbolic Logic , vol.17 , pp. 249-265
    • Curry, H.B.1
  • 5
    • 84958966109 scopus 로고
    • Technical Report 133-95, Dipartimento di Scienze dell'Informazione, Universith degli Studi di Milan_9
    • M. Ferrari. Cut-free tableau calculi for some intuitionistie modal logics. Technical Report 133-95, Dipartimento di Scienze dell'Informazione, Universith degli Studi di Milan_9 1995.
    • (1995) Cut-Free Tableau Calculi for Some Intuitionistie Modal Logics
    • Ferrari, M.1
  • 7
    • 3042876857 scopus 로고
    • An intuitionistic modal logic with applications to the formal verification of hardware
    • LNCS Springer-Verlag, editor, Kazimierz, Poland
    • M. Fairtlough and M. Mendler. An intuitionistic modal logic with applications to the formal verification of hardware. In LNCS Springer-Verlag, editor, Proceedings of Computer Science Logic "94, Kazimierz, Poland, pages 354-368, 1994.
    • (1994) Proceedings of Computer Science Logic "94 , pp. 354-368
    • Fairtlough, M.1    Mendler, M.2
  • 8
    • 0011353145 scopus 로고
    • On modal logics with an intuitionistic base
    • G. Fischer Servi. On modal logics with an intuitionistic base. Studia Logica, 36:141-149, 1977.
    • (1977) Studia Logica , vol.36 , pp. 141-149
    • Fischer Servi, G.1
  • 9
  • 11
    • 84906349084 scopus 로고
    • Constrained proofs: A logic for dealing with behavioural constraints in formal hardware verification
    • G.Jones and M.Sheerml, editors, Springer
    • M. Mendler. Constrained proofs: A logic for dealing with behavioural constraints in formal hardware verification. In G.Jones and M.Sheerml, editors, Designing Correct Circuits, pages 1-28. Springer, 1990.
    • (1990) Designing Correct Circuits , pp. 1-28
    • Mendler, M.1
  • 13
    • 0002529210 scopus 로고
    • How to avoid duplications in refutation systems for intuitionistie logic and Kuroda logic
    • K. Broda, M. D' Agostino, R. Gore, R. Johnson, and S. Reeves, editors, Abingdon, U.K., May 4-6
    • P. Miglioli, U. Moscato, and M. Ornaghi. How to avoid duplications in refutation systems for intuitionistie logic and Kuroda logic. In K. Broda, M. D' Agostino, R. Gore, R. Johnson, and S. Reeves, editors, Proceedings of the 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 169-187. Abingdon, U.K., May 4-6 1994.
    • (1994) Proceedings of the 3Rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods , pp. 169-187
    • Miglioli, P.1    Moscato, U.2    Ornaghi, M.3
  • 14
    • 0001108075 scopus 로고
    • An improved refutation system for intuitionistic predicate logic
    • P Miglioli, U. Moscato, and M. Ornaghi. An improved refutation system for intuitionistic predicate logic. Journal of Automated Reasoning, 12:361-373, 1994.
    • (1994) Journal of Automated Reasoning , vol.12 , pp. 361-373
    • Miglioli, P.1    Moscato, U.2    Ornaghi, M.3
  • 15
    • 0001804204 scopus 로고
    • J.Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge, Morgan-Kaufmann
    • G. Plotkin and C. Stifling. A framework for intuitionistic modal logic. In J.Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge, pages 399-406. Morgan-Kaufmann, 1986.
    • (1986) A Framework for Intuitionistic Modal Logic , pp. 399-406
    • Plotkin, G.1    Stifling, C.2


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