scientific article
From MaRDI portal
Publication:3478385
zbMath0701.03008MaRDI QIDQ3478385
Tinko Tinchev, Solomon Passy, George Gargov
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A hierarchy of modal logics with relative accessibility relations, MEREOLOGICAL BIMODAL LOGICS, Infinitary propositional normal modal logic, Dynamic squares, Decidable and undecidable logics with a binary modality, Taming logic, On the succinctness of some modal logics, Boolean algebras arising from information systems, Towards reasoning about Hoare relations, Information algebras, Mixed algebras and their logics, Disjunctive attribute dependencies in formal concept analysis under the epistemic view of formal contexts, A logical study of group-size based social network creation, ``That will do: logics of deontic necessity and sufficiency, Language in action, Algebraic Semantics for Hybrid Logics, Epistemic Logic with Evidence and Relevant Alternatives, A simple tableau system for the logic of elsewhere, Adding the power-set to description logics, Using tableau to decide description logics with full role negation and identity, On the modal logic of subset and superset: tense logic over Medvedev frames, First-Order Resolution Methods for Modal Logics, A system of relational syllogistic incorporating full Boolean reasoning, Failure of interpolation in combined modal logics, An Analytic Logic of Aggregation, Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations, Modal languages and bounded fragments of predicate logic, Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA, Hybrid Tableaux for the Difference Modality, Terminating tableau systems for hybrid logic with difference and converse, Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary Relations, Modal logic with names, On the Semilattice of Modal Operators and Decompositions of the Discriminator, Topological Perspective on the Hybrid Proof Rules, A Hybridization of Irreflexive Modal Logics, A modal perspective on the computational complexity of attribute value grammar, An essay in combinatory dynamic logic, Existential second-order logic and modal logic with quantified accessibility relations
