Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

27

JANCL
2000

favoriteEmaildiscussreport

47views more JANCL 2000»

A multimodal logic for reasoning about complementarity

13 years 10 months ago

A multimodal logic for reasoning about complementarity

Download www.cosc.brocku.ca

Ivo Düntsch, Beata Konikowska

Real-time Traffic

JANCL 2000 |

claim paper

Related Content

» Multimodal Separation Logic for Reasoning About Operational Semantics

» On the Multimodal Logic of Normative Systems

» Defeasible Logic Agency Intention and Obligation

» Temporalised Normative Positions in Defeasible Logic

» Combining Logics in Simple Type Theory

» Verifying the Modal Logic Cube Is an Easy Task For HigherOrder Automated Reasoners

» On the Multimodal Logic of Elementary Normative Systems

» A logic for ignorance

» Types as Graphs Continuations in Type Logical Grammar

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2000
Where	JANCL
Authors	Ivo Düntsch, Beata Konikowska

Comments (0)