scientific article; zbMATH DE number 3461905

Cited in

(64)

Interpreting network formalisms
Interval logics with applications to study of tense and aspect in English
A free logic with intensions as possible values of terms
On first-order conditional logics
Propositional quantification in the topological semantics for S4
Neighborhoods for entailment
Mathematical modal logic: A view of its evolution
Key notions of Tarski's methodology of deductive systems
Entailment and bivalence
Neighbourhood semantics for FDE-based modal logics
Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
On consistent functions for neighborhood systems
Kripke semantics for knowledge representation logics
A family of neighborhood contingency logics
Toward a general frame semantics for modal many-valued logics
Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
Modular sequent calculi for classical modal logics
Logics from Galois connections
Conditionals and consequences
Linguistics and natural logic
Modal logic with subjunctive conditionals and dispositional predicates
Meaning and interpretation. II
Hyperintensional logics for everyone
Neighborhood-sheaf semantics for first-order modal logic
Neighborhood contingency logic
Neighborhood Semantics for Basic and Intuitionistic Logic
Argument-based belief in topological structures
NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
Game semantics for non-monotonic intensional logic programming
Logical omniscience as infeasibility
The logic of risky knowledge, reprised
Belief and probability: a general theory of probability cores
Variants of multi-relational semantics for propositional non-normal modal logics
The Logic of Risky Knowledge
Logic of social ontology and Łoś's operator
Standard state space models of unawareness (extended abstract)
Dynamic hyperintensional belief revision
scientific article; zbMATH DE number 7577568 (Why is no real title available?)
From Kripke to neighborhood semantics for modal fuzzy logics
A computational learning semantics for inductive empirical knowledge
Instantial neighbourhood logic
Modal operators on pseudo-BE algebras
Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
CARNAP’S PROBLEM FOR MODAL LOGIC
Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic
The logic of framing effects
Modal Rules: Extending Defeasible Logic with Modal Operators
Unification of Modal Logic via Topological Categories
Coalgebraic semantics of modal logics: an overview
Error, consistency and triviality
Axiomatizability of propositionally quantified modal logics on relational frames
First steps in updating knowing how
On the finite model property of non-normal modal logics
A hyperintensional approach to positive epistemic possibility
Modal equivalence, n-bisimulation and model comparison game for basic neighbourhood logic
Inquisitive neighborhood logic
Intuitionistic \textsf{S4} as a logic of topological spaces
Soundness-preserving fusion of modal logics in Coq
Continuation semantics for fixpoint modal logic and computation tree logics
Non-adjunctive inference and classical modalities
Intuitionistic non-normal modal logics: a general framework
Some embedding theorems for conditional logic
First-order classical modal logic

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)