Continuum many maximal consistent normal bimodal logics with inverses

Continuum many maximal consistent normal bimodal logics with inverses

The paper considers extensions of a normal bimodal logic KL in which the two necessity operators are mutual one-sided inverses. A continuum of maximal consistent normal extensions of KL is constructed, each of which has infinitely many quasi-normal Post complete extensions. Some syntactic properties...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Williamson, T
Rannpháirtithe:	University of Notre Dame
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Duke University Press 1998
Ábhair:	Philosophy

Míreanna comhchosúla

Inverses for normal modal operators
de réir: Humberstone, L, et al.
Foilsithe / Cruthaithe: (1997)

Review: Logics of provability
de réir: Williamson, T
Foilsithe / Cruthaithe: (1996)

First-order logics for comparative similarity
de réir: Williamson, T
Foilsithe / Cruthaithe: (1988)

Non-genuine MacIntosh logics
de réir: Williamson, T
Foilsithe / Cruthaithe: (1994)

Assertion, denial and some cancellation rules in modal logic
de réir: Williamson, T
Foilsithe / Cruthaithe: (1988)

An alternative rule of disjunction in modal logic
de réir: Williamson, T
Foilsithe / Cruthaithe: (1992)

The continuum hypothesis : independence and truth-value
de réir: Weston, Thomas S. (Thomas Spengler)
Foilsithe / Cruthaithe: (2008)

Maxims and thick ethical concepts
de réir: Moore, A
Foilsithe / Cruthaithe: (2006)

Consistency in choice and credence
de réir: Hedden, Brian (Brian Robert)
Foilsithe / Cruthaithe: (2013)

Dialetheism, logical consequence and hierarchy
de réir: Whittle, B
Foilsithe / Cruthaithe: (2004)

Does rationality consist in responding correctly to reasons?
de réir: Broome, J
Foilsithe / Cruthaithe: (2007)

Logical fallacies as informational shortcuts
de réir: Floridi, L
Foilsithe / Cruthaithe: (2009)

Symmetries in physics, metaphysics, and logic
de réir: Dewar, N
Foilsithe / Cruthaithe: (2016)

On the logic of values
de réir: Dries, M
Foilsithe / Cruthaithe: (2010)

Logical validity
de réir: Grossi, M
Foilsithe / Cruthaithe: (2022)

Aristotle’s “logical” level of metaphysical investigation
de réir: Peramatzis, M
Foilsithe / Cruthaithe: (2013)

The Logic of Principia Mathematica
de réir: Jung, Darryl, 1962-
Foilsithe / Cruthaithe: (2009)

Logic, semantics, ontology
de réir: Heck, Richard Gustave
Foilsithe / Cruthaithe: (2009)

Epistemic Contradictions Do Not Threaten Classical Logic
de réir: Mayr, Philipp
Foilsithe / Cruthaithe: (2022)

Intermediate logics and equational classes of Brouwerian algebras.
de réir: Kirk, Robert Elefter.
Foilsithe / Cruthaithe: (2024)

Patterns of "reason": Spinoza and the Cheng brothers on understanding the one and the many
de réir: Simionato, Alice
Foilsithe / Cruthaithe: (2023)

Logic-based therapy as bibliotherapy
de réir: Lee, Bryson Khai Wen
Foilsithe / Cruthaithe: (2022)

Event logic and the interpretation of plurals
de réir: Schein, Barry
Foilsithe / Cruthaithe: (2006)

A logical introduction to philosophy /
de réir: 436465 Purtill, Richard L.
Foilsithe / Cruthaithe: (1989)

Triviality Results and the Relationship between Logical and Natural Languages
de réir: Khoo, Justin Donald, et al.
Foilsithe / Cruthaithe: (2020)

Generalized inversion and theory of agree
de réir: Wu, Hsiao-hung Iris
Foilsithe / Cruthaithe: (2009)

Logic and modality
de réir: Bevan, M
Foilsithe / Cruthaithe: (2022)

The bimodal standard normal density and kurtosis
de réir: Javad Behboodian, et al.
Foilsithe / Cruthaithe: (2020-02-01)

The many faces of the reasonable person
de réir: Gardner, J
Foilsithe / Cruthaithe: (2015)

Psychologism with respect to logic : an examination of some theses
de réir: Appelt, Timothy James
Foilsithe / Cruthaithe: (2009)

Charles S. Peirce’s Pragmatic Maxim. Some Epistemological Issues
de réir: DAVINI, CLAUDIO
Foilsithe / Cruthaithe: (2020-12-01)

Classical mathematical logic : the semantic foundations of logic /
de réir: Epstein, Richard L., 1947-
Foilsithe / Cruthaithe: (2006)

On the Adoption Problem and Meta-Logical Monism
de réir: Mauro Santelli, et al.
Foilsithe / Cruthaithe: (2022-05-01)

Reflections of Myth and Mani’s ritual on Christianity
de réir: عیسی امن خانی, et al.
Foilsithe / Cruthaithe: (2013-12-01)

Carroll's regress, Bradley's regress, and the incoherence of logical consequence
de réir: Crawford, Q
Foilsithe / Cruthaithe: (2023)

Towards methodology of humanities on the way to reform in logic
de réir: Soboleva M. E.
Foilsithe / Cruthaithe: (2012-01-01)

Towards methodology of humanities on the way to reform in logic
de réir: Soboleva M. E.
Foilsithe / Cruthaithe: (2012-10-01)

Natural Philosophy and Natural Logic
de réir: Kun Wu, et al.
Foilsithe / Cruthaithe: (2018-09-01)

Informal Logic’s Influence on Philosophy Instruction
de réir: J. Anthony Blair
Foilsithe / Cruthaithe: (2008-02-01)

SYNTHESIS METHODS OF ALGEBRAIC NORMAL FORM OF MANY-VALUED LOGIC FUNCTIONS
de réir: A. V. Sokolov, et al.
Foilsithe / Cruthaithe: (2016-03-01)