Publication:3408862
From MaRDI portal
zbMath1114.03001MaRDI QIDQ3408862
No author found.
Publication date: 3 November 2006
03B45: Modal logic (including the logic of norms)
03-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations
Related Items
Logic of negation-complete interactive proofs (formal theory of epistemic deciders), Expressive power of ``now and ``then operators, Tableau reductions: towards an optimal decision procedure for the modal necessity, Covering-based rough sets and modal logics. I., Reasoning about equilibria in game-like concurrent systems, PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\), Labeled sequent calculi for modal logics and implicit contractions, Algebraic properties of stochastic effectivity functions, Combined model checking for temporal, probabilistic, and real-time logics, Completeness results for memory logics, Prefixed tableaus and nested sequents, Foundations of instance level updates in expressive description logics, Decidability of an Xstit logic, Second-order propositional modal logic and monadic alternation hierarchies, Products of modal logics and tensor products of modal algebras, Bounded semantics, Completeness in hybrid type theory, Modes of adjointness, Duality for the logic of quantum actions, Spatial logic of tangled closure operators and modal mu-calculus, A stochastic interpretation of game logic, Rewrite rules for \(\mathrm{CTL}^\ast\), Relative expressive power of navigational querying on graphs, Practical extraction of evidence terms from common-knowledge reasoning, McCarthy variations in a modal key, Preface to the special issue: Temporal logics of agency, Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction), Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA, Justification logics and hybrid logics, Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?, Best unifiers in transitive modal logics, Where logic and agents meet, Intuitionistic hybrid logic: introduction and survey, Quantified temporal alethic boulesic doxastic logic, Causality-based game solving, Proof complexity of modal resolution, Quantified epistemic logics for reasoning about knowledge in multi-agent systems, Symmetric blocking, An NP-complete fragment of fibring logic, Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography, Using hybrid logic for coping with functions in subset spaces, A dynamic-epistemic hybrid logic for intentions and information changes in strategic games, A modal view of the semantics of theoretical sentences, Coalgebraic logic for stochastic right coalgebras, A note on a description logic of concept and role typicality for defeasible reasoning over ontologies, Covering-based rough sets and modal logics. II., Embeddability into relational lattices is undecidable, Compositional meaning in logic, Reverse public announcement operators on expanded models, Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems, Second-order propositional modal logic: expressiveness and completeness results, Parameterized modal satisfiability, Local properties in modal logic, Global view on reactivity: switch graphs and their logics, Constrained consequence, Resource bisimilarity and graded bisimilarity coincide, A logic for diffusion in social networks, Matching logic explained, Verification of dynamic bisimulation theorems in Coq, Many-sorted hybrid modal languages, Propositional quantification in bimodal S5, Games and bisimulations for intuitionistic first-order Kripke models, Verification and strategy synthesis for coalition announcement logic, Saturated Kripke structures as Vietoris coalgebras, Local reductions for the modal cube, Cyclic proofs, hypersequents, and transitive closure logic, Characterization, verification and generation of strategies in games with resource constraints, On inverse operators in dynamic epistemic logic, Logics with group announcements and distributed knowledge: completeness and expressive power, Model theoretical aspects of weakly aggregative modal logic, A modal view on resource-bounded propositional logics, Emptiness problems for distributed automata, DEL-based epistemic planning: decidability and complexity, Arrow update synthesis, Dual and axiomatic systems for constructive S4, a formally verified equivalence, Intuitionistic fixed point logic, Generative program analysis and beyond: the power of domain-specific languages (invited paper), Coalition and relativised group announcement logic, Counterlogicals as counterconventionals, Belnap-Dunn modal logic with value operators, t-DeLP: an argumentation-based temporal defeasible logic programming framework, Characterising modal definability of team-based logics via the universal modality, Completeness in equational hybrid propositional type theory, ExpTime tableaux with global caching for hybrid PDL, A prover dealing with nominals, binders, transitivity and relation hierarchies, A tableaux calculus for default intuitionistic logic, Complexity of the universal theory of modal algebras, A new game equivalence, its logic and algebra, A strict implication calculus for compact Hausdorff spaces, The modal logic of reverse mathematics, Refinement in hybridised institutions, Synthesis for continuous time, Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor, Equivalence of probabilistic \(\mu\)-calculus and p-automata, Resolution with order and selection for hybrid logics, Substantive assumptions in interaction: a logical perspective, Modal definability of first-order formulas with free variables and query answering, SLAP: specification logic of actions with probability, Polynomial hierarchy graph properties in hybrid logic, Axiomatizations of team logics, Unnamed Item, Unnamed Item, On Some Modal Type Intuitionistic Fuzzy Operators, Algebraic semantics for modal and superintuitionistic non-monotonic logics, Separation logics and modalities: a survey, Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Property-Based Testing for Spark Streaming, STABLE MODAL LOGICS, Hybrid Tableaux for the Difference Modality, Algebraic semantics for propositional superposition logic, INQUISITIVE BISIMULATION, REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION, Generalized Quantifiers Meet Modal Neighborhood Semantics, Temporal Logic of Minkowski Spacetime, Towards Syntactic Epistemic Logic, Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types, The Rule of Existential Generalisation and Explicit Substitution, Unnamed Item, Doctrines, modalities and comonads, The expressive power of modal logic with inclusion atoms, Deontic Logic for Human Reasoning, From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics, The Minimal System of Justification Logic with Names, Segerberg Squares of Modal Logics and Theories of Relation Algebras, Unnamed Item, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, Axiomatic and dual systems for constructive necessity, a formally verified equivalence, Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics, Easkia Duality and Its Extensions, Using Each Other’s Words, Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer), Bisimilarity is not Borel, INSTANTIAL NEIGHBOURHOOD LOGIC, Global Caching for Coalgebraic Description Logics, Terminating Tableaux for Hybrid Logic with Eventualities, Weak models of distributed computing, with connections to modal logic, The Complexity of Decomposing Modal and First-Order Theories, Extensional higher-order paramodulation in Leo-III, Exorcising the phantom zone, Query Answering with DBoxes is Hard, Clausal Tableaux for Hybrid PDL, Failure of Interpolation in Constant Domain Intuitionistic Logic, Logics of Rational Interaction, Non-finitely axiomatisable two-dimensional modal logics, Finitary S5-Theories, Polysemy and Coercion – A Frame-Based Approach Using LTAG and Hybrid Logic, Constructive Formalization of Hybrid Logic with Eventualities, On Characterization, Definability and ω-Saturated Models, Combining Theories: The Ackerman and Guarded Fragments, Two Ways to Common Knowledge, Interacting with Modal Logics in the Coq Proof Assistant, Unnamed Item, Model Checking Strategic Equilibria, First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment, Observational Effort and Formally Open Mappings
