Investigating Finite Models of Non-Classical Logics with Relation Algebra and RelView

Renate Schmidt; R Berghammer; R A Schmidt; H de Swart; E Orlowska; G Schmidt; M Roubens

Investigating Finite Models of Non-Classical Logics with Relation Algebra and RelView

Renate Schmidt, R Berghammer, R A Schmidt, H de Swart (Editor), E Orlowska (Editor), G Schmidt (Editor), M Roubens (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Theory and Applications of Relational Structures as Knowledge Instruments II
Editors	H de Swart, E Orlowska, G Schmidt, M Roubens
Pages	31-49
Number of pages	19
Volume	4342
Publication status	Published - 2006
Event	Theory and Applications of Relational Structures as Knowledge Instruments II - Duration: 1 Jan 1824 → …

Conference

Conference	Theory and Applications of Relational Structures as Knowledge Instruments II
Period	1/01/24 → …

Cite this

Schmidt, R., Berghammer, R., Schmidt, R. A., de Swart, H. (Ed.), Orlowska, E. (Ed.), Schmidt, G. (Ed.), & Roubens, M. (Ed.) (2006). Investigating Finite Models of Non-Classical Logics with Relation Algebra and RelView. In H. de Swart, E. Orlowska, G. Schmidt, & M. Roubens (Eds.), Theory and Applications of Relational Structures as Knowledge Instruments II (Vol. 4342, pp. 31-49)

@inproceedings{41341a32575444fba7d6b0019a6add83,

title = "Investigating Finite Models of Non-Classical Logics with Relation Algebra and RelView",

author = "Renate Schmidt and R Berghammer and Schmidt, {R A} and {de Swart}, H and E Orlowska and G Schmidt and M Roubens",

year = "2006",

language = "English",

volume = "4342",

pages = "31--49",

editor = "{de Swart}, H and E Orlowska and G Schmidt and M Roubens",

booktitle = "Theory and Applications of Relational Structures as Knowledge Instruments II",

note = "Theory and Applications of Relational Structures as Knowledge Instruments II ; Conference date: 01-01-1824",

}

Schmidt, R, Berghammer, R, Schmidt, RA, de Swart, H (ed.), Orlowska, E (ed.), Schmidt, G (ed.) & Roubens, M (ed.) 2006, Investigating Finite Models of Non-Classical Logics with Relation Algebra and RelView. in H de Swart, E Orlowska, G Schmidt & M Roubens (eds), Theory and Applications of Relational Structures as Knowledge Instruments II. vol. 4342, pp. 31-49, Theory and Applications of Relational Structures as Knowledge Instruments II, 1/01/24.

Investigating Finite Models of Non-Classical Logics with Relation Algebra and RelView. / Schmidt, Renate; Berghammer, R; Schmidt, R A et al.
Theory and Applications of Relational Structures as Knowledge Instruments II. ed. / H de Swart; E Orlowska; G Schmidt; M Roubens. Vol. 4342 2006. p. 31-49.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Investigating Finite Models of Non-Classical Logics with Relation Algebra and RelView

AU - Schmidt, Renate

AU - Berghammer, R

AU - Schmidt, R A

A2 - de Swart, H

A2 - Orlowska, E

A2 - Schmidt, G

A2 - Roubens, M

A2 - de Swart, H

A2 - Orlowska, E

A2 - Schmidt, G

A2 - Roubens, M

PY - 2006

Y1 - 2006

M3 - Conference contribution

VL - 4342

SP - 31

EP - 49

BT - Theory and Applications of Relational Structures as Knowledge Instruments II

T2 - Theory and Applications of Relational Structures as Knowledge Instruments II

Y2 - 1 January 1824

ER -