Finite models constructed from canonical formulas

DOI10.1007/S10992-007-9052-4zbMATH Open1132.03007OpenAlexW1981194978MaRDI QIDQ2462682FDOQ2462682

Lawrence S. Moss

Publication date: 3 December 2007

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-007-9052-4

zbMATH Keywords

decidabilitymodal logicweak completenessgeneral model-construction method

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Decidability of theories and sets of sentences (03B25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal logic
• Coalgebraic logic
• An elementary proof of the completeness of PDL
• An algebraic theory of normal forms
• Modal correspondence for models
• Book review of: N. J. J. Smith, Logic. The laws of truth

Cited In (21)

• The complexity of identifying characteristic formulae
• On final coalgebras of power-set functors and saturated trees
• Derivation rules as anti-axioms in modal logic
• FORMULAS IN MODAL LOGIC S4
• Automorphisms of the lattice of classical modal logics
• Characteristic formulae for fixed-point semantics: a general framework
• A General Framework for Probabilistic Characterizing Formulae
• Forgetting in multi-agent modal logics
• DEL-sequents for regression and epistemic planning
• Constructive Modalities with Provability Smack
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Complete axiomatizations for XPath fragments
• A general multi-agent epistemic planner based on higher-order belief change
• INSTANTIAL NEIGHBOURHOOD LOGIC
• DEL-sequents for progression
• Models for Mandel's formula
• Some modal aspects of XPath
• Title not available (Why is that?)
• The succinctness of the cover modality
• METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
• DEL-sequents for progression

This page was built for publication: Finite models constructed from canonical formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2462682)