scientific article; zbMATH DE number 755666
From MaRDI portal
Publication:4698331
zbMATH Open0855.03002MaRDI QIDQ4698331FDOQ4698331
Authors: G. E. Hughes, M. J. Cresswell
Publication date: 15 May 1995
Title of this publication is not available (Why is that?)
Recommendations
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Cited In (only showing first 100 items - show all)
- Generalizing deontic action logic
- Temporal reference in linear tense logic
- Quantified temporal alethic boulesic doxastic logic
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
- A plea for logical objects
- Relating truth, knowledge and belief in epistemic states
- Interrogative belief revision based on epistemic strategies
- Title not available (Why is that?)
- Proof theory for functional modal logic
- Rationalizing epistemic bounded rationality
- The fixed point property in modal logic
- Investigations into quantified modal logic
- Carnap's theory of descriptions and its problems
- An adaptive logic based on Jaśkowski's approach to paraconsistency
- Strong completeness theorems for weak logics of common belief
- A fuzzy document retrieval method based on two-valued indexing
- Multimodal logic programming
- Introspective unawareness and observable choice
- A complete uniform substitution calculus for differential dynamic logic
- Closures of may-, should- and must-convergences for contextual equivalence
- Intuitionism and the modal logic of vagueness
- Interpretations of intuitionist logic in non-normal modal logics
- Programming in metric temporal logic
- Connectionist modal logic: representing modalities in neural networks
- Solving the \$100 modal logic challenge
- Quantum information versus epistemic logic: an analysis of the Frauchiger-Renner theorem
- Conditional Probability Logic over Conditional Probability Spaces
- A Grim semantics for logics of belief
- A tableau-like proof procedure for normal modal logics
- A deep inference system for the modal logic S5
- The modal logic of inner models
- Solovay-type theorems for circular definitions
- The logic of action and control
- A non-preferential semantics of non-monotonic modal logic
- Logic programming as classical inference
- Power and limits of structural display rules
- A logic for multiple-source approximation systems with distributed knowledge base
- Individual concepts in modal predicate logic
- Chronological ignorance: Experiments in nonmonotonic temporal reasoning
- The formalities of temporaryism without presentness
- A decidable multi-modal logic of context
- A proof-theoretic study of the correspondence of classical logic and modal logic
- An algebraic semantics of notional entailment logic Cn
- Uniform Lyndon interpolation property in propositional modal logics
- ``Everywhere in predicate algebra and modal logic
- An incomplete relevant modal logic
- Algebraic neighbourhood logic
- Knowledge means ‘all’, belief means ‘most’
- A modal logic of knowledge, belief, and estimation
- Reasoning about functional and full hierarchical dependencies over partial relations
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
- The logic of qualitative probability
- Completeness and decidability results for some propositional modal logics containing ``actually operators
- Conditional excluded middle in systems of consequential implication
- First-order modal logic with an `actually' operator
- On a rule-based interpretation of default conditionals
- A Topological-algebraic Approach to the Compactness Theorem of Classical Logic
- Reprint of: Reasoning about knowledge of unawareness revisited
- Logics for approximate entailment in ordered universes of discourse
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
- Associative substitutional semantics and quantified modal logic
- On the 3D visualisation of logical relations
- Why the logical hexagon?
- Interrogative belief revision in modal logic
- Evaluations of epistemic components for resolving the muddy children puzzle
- A unified semantics for a family of modal logics with propositional constants
- Coherence for modalities
- Probabilistic behaviours of reactive agents
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
- The modal logic of agreement and noncontingency
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
- Lattice-valued modal propositional logic and its completeness
- Some Rough Consequence Logics and their Interrelations
- A formal characterisation of Hamblin's action-state semantics
- The monodic fragment of propositional term modal logic
- Automorphisms of the lattice of classical modal logics
- Effective completeness theorems for modal logic
- On modal logic of deductive closure
- Resolution principles in possibilistic logic
- Title not available (Why is that?)
- Decidable fragments of first-order modal logics
- Unawareness with ``possible possible worlds
- Transductions in arithmetic
- Combinations of tense and modality for predicate logic
- Reflections on Fourteen Cryptic Issues Concerning the Nature of Statistical Inference*
- Fibring: Completeness preservation
- Revising beliefs on the basis of evidence
- Modal logic for philosophers
- What is the correct logic of necessity, actuality and apriority?
- Covering-based rough sets and modal logics. I.
- Forcing in Proof Theory
- Completeness theorems for \(\sigma \)-additive probabilistic semantics
- Subjective reasoning -- dynamic games
- A new semantics for systems of logic of essence
- An intrinsic topology for orthomodular lattices
- Conformant plans and beyond: principles and complexity
- On fuzzy modal logics \(S5(\mathcal C)\)
- Non-monotonic logic. I
- Prefixed tableaus and nested sequents
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4698331)