| dc.contributor.author | French, Rohan | |
| dc.contributor.author | Humberstone, Lloyd | |
| dc.date.accessioned | 2016-03-13T12:16:21Z | |
| dc.date.available | 2016-03-13T12:16:21Z | |
| dc.date.issued | 2015 | |
| dc.identifier.issn | 0138-0680 | |
| dc.identifier.uri | http://hdl.handle.net/11089/17398 | |
| dc.description.abstract | It is well known that no consistent normal modal logic contains (as theorems) both ◊A and ◊¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent normal modal logic contains ◊A, or else no consistent normal modal logic contains ◊¬A. | pl_PL |
| dc.language.iso | en | pl_PL |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | pl_PL |
| dc.relation.ispartofseries | Bulletin of the Section of Logic;1/2 | |
| dc.title | An Observation Concerning Porte’s Rule in Modal Logic | pl_PL |
| dc.type | Article | pl_PL |
| dc.rights.holder | © Copyright by Uniwersytet Łódzki, Łódź 2015 | pl_PL |
| dc.page.number | 25–31 | pl_PL |
| dc.contributor.authorAffiliation | Department of Philosophy, Monash University, Victoria 3800, Australia. | pl_PL |
| dc.identifier.eissn | 2449-836X | |
| dc.references | Anderson A. R., The Formal Analysis of Normative Systems, [in:] N. Rescher (ed.), The Logic of Decision and Action, University of Pittsburgh Press, Pittsburgh, PA 1967, pp. 147–213. | pl_PL |
| dc.references | Benthem Johan van, Modal Logic and Classical Logic, Bibliopolis, Naples 1985. | pl_PL |
| dc.references | Blok W. J. and Ko¨hler P., Algebraic Semantics for Quasi-Classical Modal Logics, Journal of Symbolic Logic 48 (1983), pp. 941–964. | pl_PL |
| dc.references | Fagin R., Halpern J. Y., and Vardi M. Y., What is an Inference Rule?, Journal of Symbolic Logic 57 (1992), pp. 1018–1045. | pl_PL |
| dc.references | French Rohan, Denumerably Many Post-complete Normal Modal Logics with Propositional Constants, Notre Dame Journal of Formal Logic 53 (2012), pp. 549–556. | pl_PL |
| dc.references | Goldblatt Robert and Kowalski Tomasz, The Power of a Propositional Constant, Journal of Philosophical Logic 43 (2014), pp. 133–152. | pl_PL |
| dc.references | Humberstone Lloyd, Zolin and Pizzi: Defining Necessity from Noncontingency, Erkenntnis 78 (2013), pp. 1275–1302. | pl_PL |
| dc.references | Makinson David, Some Embedding Theorems for Modal Logics, Notre Dame Journal of Formal Logic 12 (1971), pp. 252–254. | pl_PL |
| dc.references | Pizzi Claudio, Necessity and Relative Contingency, Studia Logica 85 (2007), pp. 395–410. | pl_PL |
| dc.references | Pizzi Claudio, Relative Contingency and Bimodality, Logica Universalis 7 (2013), pp. 113–123. | pl_PL |
| dc.references | Porte Jean, The Deducibilities of S5, Journal of Philosophical Logic 10 (1981), pp. 409–422. | pl_PL |
| dc.references | Prior A. N., Time and Modality, Oxford University Press, Oxford 1957. | pl_PL |
| dc.references | Prior A. N., Review of various papers by A. R. Anderson, Journal of Symbolic Logic 24 (1959), pp. 177–178. | pl_PL |
| dc.references | Schotch P. K. and Jennings R. E., Modal Logic and the Theory of Modal Aggregation, Philosophia 9 (1975), pp. 265–278. | pl_PL |
| dc.references | Segerberg Krister, Post Completeness in Modal Logic, Journal of Symbolic Logic 37 (1972), pp. 711–715. | pl_PL |
| dc.relation.volume | 44 | pl_PL |
