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)
- 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
- The single-minded pursuit of consistency and its weakness
- Quantified multimodal logics in simple type theory
- Hypersequent rules with restricted contexts for propositional modal logics
- Title not available (Why is that?)
- Completeness in hybrid type theory
- Montague's theorem and modal logic
- On decidability of recursive weighted logics
- A unified completeness theorem for quantified modal logics
- Multiagent belief revision
- Unifying quantified modal logic
- On the logic of theory change: Partial meet contraction and revision functions
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Interface of rough set systems and modal logics: a survey
- An axiomatization of PCTL*
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\)
- Weakening and extending \(\mathbb{Z}\)
- Structural connections between a forcing class and its modal logic
- An application of paraconsistent logic to physics: complementarity
- QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS
- A Simple Modal Logic for Reasoning about Revealed Beliefs
- A note on modal logic and possibility theory
- The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems
- Action and knowledge in alternating-time temporal logic
- Does the deduction theorem fail for modal logic?
- Adaptive logic as a modal logic
- Formal reasoning with rough sets in multiple-source approximation systems
- Quantified modal logic on the rational line
- Tensed mereology
- Synonymous logics
- Modal quantum theory
- Monadic bounded algebras
- A simple logic for reasoning about incomplete knowledge
- Reasoning about knowledge of unawareness
- A note on the modal and temporal logics for \(n\)-dimensional spacetime
- Modal logics of succession for 2-dimensional integral spacetime
- Modal-epistemic arithmetic and the problem of quantifying in
- Title not available (Why is that?)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5}
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- Three dual ontologies
- First-order expressivity for S5-models: Modal vs. two-sorted languages
- Extended quantum logic
- Mirroring theorems in free logic
- Approximations of modal logics: \(\mathbf K\) and beyond
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- An update logic for information systems
- Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic
- Reasoning about proof and knowledge
- Abductive reasoning in neural-symbolic systems
- PROVING UNPROVABILITY
- A classical logic of existence and essence
- The broadest necessity
- Quasi-Boolean based models in rough set theory: a case of covering
- A modified subformula property for the modal logic S4.2
- Covering-based rough sets and modal logics. II.
- Proof-theory and semantics for a theory of definite descriptions
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
- Barcan Both Ways
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)
