The INFOLOG linear tense propositional logic of events and transactions

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	61-85
Number of pages	25
Journal	Information Systems Management
Volume	11
Issue number	1
Publication status	Published - 1 Jan 1986

Cite this

@article{26308787a050482caf76af64e84eaad3,

title = "The INFOLOG linear tense propositional logic of events and transactions",

author = "J. Fiadeiro and A. Sernadas",

year = "1986",

month = jan,

day = "1",

language = "English",

volume = "11",

pages = "61--85",

journal = "Information Systems Management",

issn = "0306-4379",

publisher = "Taylor and Francis Ltd.",

number = "1",

}

TY - JOUR

T1 - The INFOLOG linear tense propositional logic of events and transactions

AU - Fiadeiro, J.

AU - Sernadas, A.

PY - 1986/1/1

Y1 - 1986/1/1

UR - https://www.scopus.com/pages/publications/0022464686

M3 - Article

AN - SCOPUS:0022464686

SN - 0306-4379

VL - 11

SP - 61

EP - 85

JO - Information Systems Management

JF - Information Systems Management

IS - 1

ER -