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
- 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
- First-order modal logic: frame definability and a Lindström theorem
- Ontological argument and infinity in Spinoza's thought
- A logic for non-deterministic parallel abstract state machines
- Formal reasoning in preference-based multiple-source rough set model
- The geometry of standard deontic logic
- On base radical and semisimple classes defined by class operators
- Aristotelian and Duality Relations Beyond the Square of Opposition
- Efficient multi-agent epistemic planning: teaching planners about nested belief
- Knowing-who in quantified epistemic logic
- Axiomatising the Prior future in predicate logic
- Quantifier-free epistemic term-modal logic with assignment operator
- Axiomatization of some basic and modal Boolean connexive logics
- Relevance-Sensitive Truth-Trees
- Title not available (Why is that?)
- Dynamic term-modal logics for first-order epistemic planning
- Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS
- A note on derivability conditions
- Dugundji's theorem revisited
- Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects
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)
