Relevant logics, modal logics and theory change
| dc.contributor.author | Fuhrmann, André | |
| dc.date.accessioned | 2013-08-18T23:41:49Z | |
| dc.date.available | 2013-08-18T23:41:49Z | |
| dc.date.issued | 1988 | |
| dc.description.abstract | This thesis is a contribution to applied relevant logics. In Part One relevant logics are presented proof-theoretically and semantically. These logics are then extended to modal logics. Completeness proofs for all of the logics presented in Part One are provided. In Part Two, the logics of Part One are applied to certain problems in philosophical logic and Artificial Intelligence. Deontic and epistemic logics based on relevant logics are presented in chapter three and chapter four contains an extensive investigation of the logic of theory change (or database updating). | en_AU |
| dc.identifier.other | b16959498 | |
| dc.identifier.uri | http://hdl.handle.net/1885/10318 | |
| dc.language.iso | en_AU | en_AU |
| dc.title | Relevant logics, modal logics and theory change | en_AU |
| dc.type | Thesis (PhD) | en_AU |
| dcterms.valid | 1988 | en_AU |
| local.contributor.affiliation | Research School of Social Sciences | en_AU |
| local.contributor.supervisor | Sylvan, Richard | |
| local.description.notes | Supervisor: Dr Richard Sylvan. This thesis has been made available through exception 200AB to the Copyright Act. | en_AU |
| local.description.refereed | Yes | en_AU |
| local.identifier.doi | 10.25911/5d74e78371a9b | |
| local.identifier.proquest | Yes | |
| local.mintdoi | mint | |
| local.type.degree | Doctor of Philosophy (PhD) | en_AU |