The following pages link to (Q4047529):
Displaying 50 items.
- Game semantics for non-monotonic intensional logic programming (Q345702) (← links)
- Logical omniscience as infeasibility (Q392271) (← links)
- The logic of risky knowledge, reprised (Q432960) (← links)
- Belief and probability: a general theory of probability cores (Q432962) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Non-adjunctive inference and classical modalities (Q812093) (← links)
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Some embedding theorems for conditional logic (Q853813) (← links)
- First-order classical modal logic (Q863182) (← links)
- Interpreting network formalisms (Q1056560) (← links)
- Interval logics with applications to study of tense and aspect in English (Q1145690) (← links)
- A free logic with intensions as possible values of terms (Q1228607) (← links)
- On first-order conditional logics (Q1274556) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Neighborhoods for entailment (Q1411357) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Entailment and bivalence (Q1857357) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics (Q2115282) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- On consistent functions for neighborhood systems (Q2191230) (← links)
- Kripke semantics for knowledge representation logics (Q2277447) (← links)
- A family of neighborhood contingency logics (Q2295739) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- Logics from Galois connections (Q2379337) (← links)
- Conditionals and consequences (Q2475433) (← links)
- Linguistics and natural logic (Q2543817) (← links)
- Modal logic with subjunctive conditionals and dispositional predicates (Q2560224) (← links)
- Meaning and interpretation. II (Q2642523) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- Neighborhood-sheaf semantics for first-order modal logic (Q2825413) (← links)
- Neighborhood Contingency Logic (Q2937393) (← links)
- Neighborhood Semantics for Basic and Intuitionistic Logic (Q2987743) (← links)
- (Q3384088) (← links)
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC (Q3389491) (← links)
- Variants of multi-relational semantics for propositional non-normal modal logics (Q4583357) (← links)
- The Logic of Risky Knowledge (Q4916213) (← links)
- Logic of Social Ontology and Łoś’s Operator (Q5006828) (← links)
- (Q5015389) (← links)
- DYNAMIC HYPERINTENSIONAL BELIEF REVISION (Q5024508) (← links)
- (Q5101337) (← links)
- From Kripke to Neighborhood Semantics for Modal Fuzzy Logics (Q5117202) (← links)
- A Computational Learning Semantics for Inductive Empirical Knowledge (Q5249674) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
- Modal operators on pseudo-BE algebras (Q5858312) (← links)
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806) (← links)
- CARNAP’S PROBLEM FOR MODAL LOGIC (Q6045103) (← links)
