Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics

Renate Schmidt, S Minica, M Khodadadi, D Tishkovsky, P Fontaine (Editor), R A Schmidt (Editor), S Schulz (Editor)

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

106 Downloads (Pure)

Original language	English
Title of host publication	PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning
Editors	P Fontaine, R A Schmidt, S Schulz
Publication status	Published - 2012

Access to Document

Schmidt, R., Minica, S., Khodadadi, M., Tishkovsky, D., Fontaine, P. (Ed.), Schmidt, R. A. (Ed.), & Schulz, S. (Ed.) (2012). Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. In P. Fontaine, R. A. Schmidt, & S. Schulz (Eds.), PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning http://www.eprover.org/EVENTS/PAAR-2012.html

@inproceedings{53159f370cc94fa2aed182a6df114380,

title = "Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics",

author = "Renate Schmidt and S Minica and M Khodadadi and D Tishkovsky and P Fontaine and Schmidt, {R A} and S Schulz",

note = "To appear",

year = "2012",

language = "English",

editor = "P Fontaine and Schmidt, {R A} and S Schulz",

booktitle = "PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning",

}

Schmidt, R, Minica, S, Khodadadi, M, Tishkovsky, D, Fontaine, P (ed.), Schmidt, RA (ed.) & Schulz, S (ed.) 2012, Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. in P Fontaine, RA Schmidt & S Schulz (eds), PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning. <http://www.eprover.org/EVENTS/PAAR-2012.html>

Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. / Schmidt, Renate; Minica, S; Khodadadi, M et al.
PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning. ed. / P Fontaine; R A Schmidt; S Schulz. 2012.

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

TY - GEN

T1 - Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics

AU - Schmidt, Renate

AU - Minica, S

AU - Khodadadi, M

AU - Tishkovsky, D

A2 - Fontaine, P

A2 - Schmidt, R A

A2 - Schulz, S

A2 - Fontaine, P

A2 - Schmidt, R A

A2 - Schulz, S

N1 - To appear

PY - 2012

Y1 - 2012

M3 - Conference contribution

BT - PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning

ER -