scientific article; zbMATH DE number 3461905
From MaRDI portal
Publication:4047529
zbMATH Open0295.02013MaRDI QIDQ4047529FDOQ4047529
Authors: Dana Scott
Publication date: 1970
Title of this publication is not available (Why is that?)
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)
Cited In (58)
- On the finite model property of non-normal modal logics
- Unification of Modal Logic via Topological Categories
- CARNAP’S PROBLEM FOR MODAL LOGIC
- The logic of framing effects
- Error, consistency and triviality
- Axiomatizability of propositionally quantified modal logics on relational frames
- First steps in updating knowing how
- Instantial neighbourhood logic
- Logical omniscience as infeasibility
- Entailment and bivalence
- Dynamic hyperintensional belief revision
- Interval logics with applications to study of tense and aspect in English
- Belief and probability: a general theory of probability cores
- On first-order conditional logics
- Modal operators on pseudo-BE algebras
- Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
- Kripke semantics for knowledge representation logics
- The Logic of Risky Knowledge
- Linguistics and natural logic
- Neighborhood contingency logic
- Some embedding theorems for conditional logic
- Variants of multi-relational semantics for propositional non-normal modal logics
- Neighborhood Semantics for Basic and Intuitionistic Logic
- Logics from Galois connections
- The logic of risky knowledge, reprised
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- First-order classical modal logic
- Coalgebraic semantics of modal logics: an overview
- Meaning and interpretation. II
- Neighbourhood semantics for FDE-based modal logics
- Modular sequent calculi for classical modal logics
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- Modal logic with subjunctive conditionals and dispositional predicates
- Title not available (Why is that?)
- Mathematical modal logic: A view of its evolution
- Propositional quantification in the topological semantics for \(\mathbf S4\)
- Neighborhood-sheaf semantics for first-order modal logic
- Intuitionistic non-normal modal logics: a general framework
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic
- From Kripke to neighborhood semantics for modal fuzzy logics
- Game semantics for non-monotonic intensional logic programming
- A family of neighborhood contingency logics
- A computational learning semantics for inductive empirical knowledge
- Toward a general frame semantics for modal many-valued logics
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
- Conditionals and consequences
- Modal Rules: Extending Defeasible Logic with Modal Operators
- Key notions of Tarski's methodology of deductive systems
- On consistent functions for neighborhood systems
- Logic of social ontology and Łoś's operator
- Hyperintensional logics for everyone
- Standard state space models of unawareness (extended abstract)
- Neighborhoods for entailment
- Interpreting network formalisms
- Argument-based belief in topological structures
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- A free logic with intensions as possible values of terms
- Non-adjunctive inference and classical modalities
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4047529)