Pages that link to "Item:Q2399881"
From MaRDI portal
The following pages link to Neighborhood semantics for modal logic (Q2399881):
Displaying 50 items.
- Evidence and plausibility in neighborhood structures (Q392275) (← links)
- Dynamic logics of evidence-based beliefs (Q647408) (← links)
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Logics for belief as maximally plausible possibility (Q831224) (← links)
- Pooling modalities and pointwise intersection: axiomatization and decidability (Q2021558) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Neighbourhood semantics for quantified relevant logics (Q2144203) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- Explicit non-normal modal logic (Q2148779) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Hypergraphs, local reasoning, and weakly aggregative modal logic (Q2148816) (← links)
- Formalizing common belief with no underlying assumption on individual beliefs (Q2173395) (← links)
- On consistent functions for neighborhood systems (Q2191230) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Modal systems for covering semantics and boundary operator (Q2237204) (← links)
- Monotonic modal logics with a conjunction (Q2238141) (← links)
- From oughts to goals: a logic for Enkrasia (Q2304625) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Epistemic foundations for set-algebraic representations of knowledge (Q2338657) (← links)
- Binary modal companions for subintuitionistic logics (Q2658275) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- Epistemic logic without closure (Q2695021) (← links)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- Neighborhood Contingency Logic (Q2937393) (← links)
- Logical Dynamics of Evidence (Q3093993) (← links)
- Introspection, Normality and Agglomeration (Q3457703) (← links)
- CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Generalized Quantifiers Meet Modal Neighborhood Semantics (Q5015970) (← links)
- DYNAMIC HYPERINTENSIONAL BELIEF REVISION (Q5024508) (← links)
- Reasoning about manipulation in multi-agent systems (Q5048036) (← links)
- HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) (Q5049016) (← links)
- Relating Semantics for Epistemic Logic (Q5066091) (← links)
- A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC (Q5078812) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Analysing Spatial Properties on Neighbourhood Spaces (Q5089239) (← links)
- NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF (Q5099779) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- (Q5101337) (← links)
- Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic (Q5126193) (← links)
- Infra-topologies revisited: logic and clarification of basic notions (Q5863093) (← links)
- CARNAP’S PROBLEM FOR MODAL LOGIC (Q6045103) (← links)
- <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT (Q6051425) (← links)