scientific article
From MaRDI portal
Publication:3669373
zbMath0519.03008MaRDI QIDQ3669373
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Combinations of \textit{stit} with \textit{ought} and \textit{know}, Axiomatization of a branching time logic with indistinguishability relations, Expressive power of ``now and ``then operators, Categorial graphs, Системы временной логики I: моменты, истории, деревья, T \(\times\) W completeness, Modal logic for other-world agnostics: Neutrality and Halldén incompleteness, Taming logic, Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization, On the logic of balance in social networks, Introducing reactive Kripke semantics and arc accessibility, Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?, Axiomatising the Prior future in predicate logic, Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms, Second-order propositional modal logic: expressiveness and completeness results, Geometrical structures and modal logic, Linear temporal logic with until and next, logical consecutions, Agency and fictional truth: a formal study on fiction-making, Local properties in modal logic, Pitts' quantifiers are not topological quantification, Quantification over sets of possible worlds in branching-time semantics, Axiomatizing logics of fuzzy preferences using graded modalities, Introducing Reactive Kripke Semantics and Arc Accessibility, Editors' introduction to the special issue on combining logics, Combining temporal logic systems, A Gabbay-rule free axiomatization of \(T\times W\) validity, Everything else being equal: a modal logic for ceteris paribus preferences, First-order definability of transition structures, A strict implication calculus for compact Hausdorff spaces, An axiomatization of PCTL*, Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras, Combinations of tense and modality for predicate logic, Modal logic with names, A Hybridization of Irreflexive Modal Logics, An essay in combinatory dynamic logic, A unified semantics for a family of modal logics with propositional constants
