๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Completeness of modal logics with prefinite width

โœ Scribed by V. V. Rybakov

Publisher
SP MAIK Nauka/Interperiodica
Year
1982
Tongue
English
Weight
219 KB
Volume
32
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The completeness of monotonic modal logi
The completeness of monotonic modal logics
โœ Brian F. Chellas; Audrey McKinney ๐Ÿ“‚ Article ๐Ÿ“… 1975 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 379 KB

The purpose of this paper is to point out an error in KRISTER SEGERBERG'S proof of the completeness of the modal logic R, and to provide a correct proof.2) The correct proofbased on a notion and a strategy suggested by SEOERBERO'S techniquesintroduces a general approach for obtaining completeness th

Analyzing completeness of axiomatic func
Analyzing completeness of axiomatic functional systems for temporal ร— modal logics
โœ Alfredo Burrieza; Inmaculada P. de Guzmรกn; Emilio Muรฑoz-Velasco ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 196 KB ๐Ÿ‘ 1 views

## Abstract In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective