Simulating without Negation

DOI10.1093/LOGCOM/7.4.501MaRDI QIDQ4351799zbMATH OpenOpenAlexFDO

Authors Natasha Kurtonina, Maarten de Rijke

Publication date 24 November 1998

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://pure.uva.nl/ws/files/4048767/2898_27680y.pdf

zbMATH Keywords

directed simulationsexpressive powermodal logicnegation-free languagestransition systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Simulation without mediator
• Simulating expansions without expansions
• scientific article; zbMATH DE number 6423887
• Negation by iteration
• Negation as instantiation
• Simulating parity reasoning
• Negationless intuitionism
• scientific article; zbMATH DE number 908634
• Dynamic negation, the one and only
• Simulative belief logic

Cited in

(21)

• Simulation without mediator
• Expressiveness of concept expressions in first-order description logics
• IF modal logic and classical negation
• A Lindström theorem for intuitionistic propositional logic
• Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
• Notational variance and its variants
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• Characterization, definability and separation via saturated models
• The relevant fragment of first order logic
• On characterization, definability and -saturated models
• Simulating polyadic modal logics by monadic ones
• Bi-simulating in bi-intuitionistic logic
• The Range of Modal Logic
• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• About simulating polyadic frames
• Bisimilarity for paraconsistent description logics
• A Lindström theorem for intuitionistic first-order logic
• Characterising modal formulas with examples
• Positive Hennessy-Milner logic for branching bisimulation
• Dual counterpart intuitionistic logic
• Existential and positive games: a comonadic and axiomatic view

This page was built for publication: Simulating without Negation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4351799)