scientific article; zbMATH DE number 1852922
From MaRDI portal
Publication:4789452
zbMath1003.03518MaRDI QIDQ4789452
Publication date: 29 January 2003
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
April the 19th ⋮ Arthur Prior and hybrid logic ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Mixed algebras and their logics ⋮ Disentangling structural connectives or life without display property ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ Two-Variable Separation Logic and Its Inner Circle ⋮ Non-transitive correspondence analysis ⋮ Counterpart theories for everyone ⋮ Pointfree expression and calculation: From quantification to temporal logic ⋮ Algorithmic correspondence for intuitionistic modal mu-calculus ⋮ The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms ⋮ A quantified coalgebraic van Benthem theorem ⋮ A semantic hierarchy for intuitionistic logic ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ A general framework for FDE-based modal logics ⋮ Unnamed Item ⋮ Completeness and correspondence in Chellas-Segerberg semantics ⋮ Supervenience, Dependence, Disjunction ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ Logic and Probabilistic Update ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Unnamed Item ⋮ Reasoning about general preference relations ⋮ Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics ⋮ A unified semantics for a family of modal logics with propositional constants
This page was built for publication: