Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
type: Item
instance of: scholarly article
title: Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
DOI: 10.1215/00294527-2022-0029
author: Lloyd Humberstone
author: Steven T. Kuhn
published in: Notre Dame Journal of Formal Logic
publication date: 2022-12-19T00:00:00Z
full work available at URL: 00294527-2022-0029.full
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03F25
zbMATH DE Number: 7634481
zbMATH Keywords: modal logic
zbMATH Keywords: Makinson
zbMATH Keywords: equivalence between logics
zbMATH Keywords: notational variance
zbMATH Keywords: translations
zbMATH Keywords: translational embeddings
zbMATH Keywords: classical propositional logic
zbMATH Keywords: consequence relations
zbMATH Keywords: extensional logics
MaRDI profile type: Publication
OpenAlex ID: W4311895322
cites work: Mutual definability does not imply definitional equivalence, a simple example
cites work: Glymour and Quine on theoretical equivalence
cites work: Classical negation can be expressed by one of its halves
cites work: Fregean logics
cites work: On translating between logics
cites work: Q4940723
cites work: Q3995890
cites work: Bimodal logics with contingency and accident
cites work: Notational variance and its variants
cites work: Q4636040
cites work: The Logic in Philosophy of Science
cites work: David Makinson on classical methods for non-classical problems
cites work: The lattice of extensional connectives: A correction
cites work: Singulary extensional connectives: A closer look
cites work: Q3509058
cites work: Q3520847
cites work: Q3093482
cites work: Replacement in logic
cites work: Q3185648
cites work: Note on extending congruential modal logics
cites work: Q5004950
cites work: DISTANCES BETWEEN FORMAL THEORIES
cites work: On the concept of a notational variant
cites work: Q3409073
cites work: Q5546768
cites work: Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
cites work: On generalization of definitional equivalence to non-disjoint languages
cites work: A note on Hallden-incompleteness
cites work: Q3268305
cites work: Q5823282
cites work: Some embedding theorems for modal logic
cites work: A warning about the choice of primitive operators in modal logic
cites work: Neighborhood semantics for modal logic
cites work: CAPTURING CONSEQUENCE
cites work: Synonymous logics
cites work: Synonymous logics: a correction
cites work: Q5581592
cites work: 2-element matrices
cites work: Common Logic of 2‐Valued Semigroup Connectives
cites work: Q3952081
cites work: Deducibility and many-valuedness
cites work: Q4159022
cites work: The problem of reconstructability of propositional calculi
cites work: Note on deducibility and many-valuedness
cites work: Q3791124
cites work: Theory of logical calculi. Basic theory of consequence operations
cites work: Q3921201
cites work: UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC
cites work: Embeddings of propositional monomodal logics
description: scientific article; zbMATH DE number 7634481