Analytic implication
From MaRDI portal
Publication:1090323
DOI10.1305/ndjfl/1093636609zbMath0621.03006OpenAlexW4250694390MaRDI QIDQ1090323
Publication date: 1986
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093636609
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (22)
Correia semantics revisited ⋮ A complete minimal logic of the propositional contents of thought ⋮ Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988 ⋮ A computational interpretation of conceptivism ⋮ A simple sequent calculus for Angell's logic of analytic containment ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Topic-theoretic extensions of analytic implication ⋮ The fundamental problem of logical omniscience ⋮ Executability and connexivity in an interpretation of Griss ⋮ Subject-matter and intensional operators. II: Applications to the theory of topic-sensitive intentional modals ⋮ The propositional objects of mental attitudes ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Semantical analysis of weak Kleene logics ⋮ Logics of nonsense and Parry systems ⋮ Sextus Empiricus' Fourth Conditional and Containment Logic ⋮ Algebraic analysis of demodalised analytic implication ⋮ The completeness of S ⋮ Simple hyperintensional belief revision ⋮ Boolean Connexive Logics: Semantics and tableau approach ⋮ Axiomatizing the logic of imagination ⋮ Agglomerative algebras ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION
This page was built for publication: Analytic implication