Syntactic refutations against finite models in modal logic

DOI10.1305/ndjfl/1040408615zbMath0830.03007OpenAlexW2003203349MaRDI QIDQ1903134

Tomasz Skura

Publication date: 18 January 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040408615

zbMATH Keywords

modal logicfinite model propertynormal modal propositional logicssyntactic refutation systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13)

Related Items (4)

A refutation theory ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ A Generalisation of a Refutation-related Method in Paraconsistent Logics

Cites Work

• Refutation calculi for certain intermediate propositional logics
• On decision procedures for sentential logics
• Refutation systems in modal logic
• A Łukasiewicz-style refutation system for the modal logic S4
• A normal modal calculus between T and S4 without the finite model property
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Syntactic refutations against finite models in modal logic