scientific article
From MaRDI portal
Publication:4047529
zbMath0295.02013MaRDI QIDQ4047529
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Intuitionistic non-normal modal logics: a general framework, Logics from Galois connections, Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics, Modal operators on pseudo-BE algebras, Some embedding theorems for conditional logic, Meaning and interpretation. II, Game semantics for non-monotonic intensional logic programming, First-order classical modal logic, Neighborhood Contingency Logic, Propositional quantification in the topological semantics for \(\mathbf S4\), Variants of multi-relational semantics for propositional non-normal modal logics, Logical omniscience as infeasibility, CARNAP’S PROBLEM FOR MODAL LOGIC, Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic, On consistent functions for neighborhood systems, The logic of framing effects, Modal Rules: Extending Defeasible Logic with Modal Operators, Interval logics with applications to study of tense and aspect in English, Unification of Modal Logic via Topological Categories, Hyperintensional logics for everyone, From Kripke to Neighborhood Semantics for Modal Fuzzy Logics, The logic of risky knowledge, reprised, Belief and probability: a general theory of probability cores, Neighborhoods for entailment, Coalgebraic semantics of modal logics: an overview, Unnamed Item, Unnamed Item, Mathematical modal logic: A view of its evolution, Neighborhood Semantics for Basic and Intuitionistic Logic, Conditionals and consequences, The Logic of Risky Knowledge, INSTANTIAL NEIGHBOURHOOD LOGIC, Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness, A free logic with intensions as possible values of terms, Kripke semantics for knowledge representation logics, Unnamed Item, A family of neighborhood contingency logics, NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC, Neighborhood-Sheaf Semantics for First-Order Modal Logic, Neighbourhood semantics for FDE-based modal logics, On first-order conditional logics, Linguistics and natural logic, Key notions of Tarski's methodology of deductive systems, Toward a general frame semantics for modal many-valued logics, Modal logic with subjunctive conditionals and dispositional predicates, A Computational Learning Semantics for Inductive Empirical Knowledge, Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus, Logic of Social Ontology and Łoś’s Operator, Interpreting network formalisms, Entailment and bivalence, Modular sequent calculi for classical modal logics, DYNAMIC HYPERINTENSIONAL BELIEF REVISION, Non-adjunctive inference and classical modalities, Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
