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 (38)
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
This page was built for publication:
