A Decision Procedure for Von Wrights OBS-Calculus

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

Cite this

@article{0177696d023b4aab9dce8b46684b451c,

title = "A Decision Procedure for Von Wrights OBS-Calculus",

author = "F.A.I. Buekens",

note = "Pagination: 12",

year = "1995",

language = "English",

volume = "149",

pages = "43--55",

journal = "Logique et Analyse",

issn = "0024-5836",

publisher = "Nationaal Centrum voor Navorsingen in de Logica (Centre National de Recherches de Logique)",

number = "38",

}