Logic in Computer Science: Modelling and Reasoning About Systems

被引：0
|
作者：
Valentin Goranko
机构：
[1] University of the Witwatersrand,School of Mathematics
来源：
Journal of Logic, Language and Information | 2007年 / 16卷 / 1期
关键词：
Model Check; Boolean Function; Modal Logic; Propositional Logic; Conjunctive Normal Form;
D O I：
10.1007/s10849-006-9017-y
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：117 / 120
页数：3
相关论文
共 50 条
  • [1] Differential logic for reasoning about hybrid systems
    Platzer, Andre
    [J]. Hybrid Systems: Computation and Control, Proceedings, 2007, 4416 : 746 - 749
  • [2] What about Linear Logic in Computer Science?
    Mihalyi, Daniel
    Novitzka, Valerie
    [J]. ACTA POLYTECHNICA HUNGARICA, 2013, 10 (04) : 147 - 160
  • [3] QCTL: A logic for reasoning about inconsistent concurrent systems
    Chen, Donghuo
    Zhang, Guangquan
    Wu, Jinzhao
    [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 241 - +
  • [4] Temporal relevant logic as the logic basis for reasoning about dynamics of concurrent systems
    Cheng, JD
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 794 - 799
  • [5] Modelling spatial reasoning systems with shape algebras and formal logic
    Chase, Scott C.
    [J]. Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 1997, 11 (04): : 273 - 285
  • [6] Modelling spatial reasoning systems with shape algebras and formal logic
    Chase, SC
    [J]. AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1997, 11 (04): : 273 - 285
  • [7] Reasoning about Cloud Storage Systems Based on Separation Logic
    基于分离逻辑的云存储系统验证
    [J]. Wang, Han-Pin (whpxhy@pku.edu.cn), 1600, Science Press (43): : 2227 - 2240
  • [8] Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems
    Bozga, Marius
    Bueri, Lucas
    Iosif, Radu
    [J]. AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 691 - 711
  • [9] Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
    Krogh-Jespersen, Morten
    Timany, Amin
    Ohlenbusch, Marit Edna
    Gregersen, Simon Oddershede
    Birkedal, Lars
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 336 - 365
  • [10] A LOGIC FOR REASONING ABOUT PROBABILITIES
    FAGIN, R
    HALPERN, JY
    MEGIDDO, N
    [J]. INFORMATION AND COMPUTATION, 1990, 87 (1-2) : 78 - 128
12345