Search results
From MaRDI portal
- Publication Date of Publication Type The hierarchy of hyperlogics 2024-12-19 Paper Train small, model big: scalable physics simulators via...10 bytes (13 words) - 21:21, 24 September 2023
- Publication Date of Publication Type The hierarchy of hyperlogics 2024-12-19 Paper Verifying hyperliveness 2024-02-16 Paper Temporal causality...10 bytes (13 words) - 08:41, 6 October 2023
- Publication Date of Publication Type The hierarchy of hyperlogics 2024-12-19 Paper Deciding hyperproperties combined with functional specifications...10 bytes (13 words) - 11:27, 28 January 2024
- Publication Date of Publication Type The hierarchy of hyperlogics 2024-12-19 Paper Deciding hyperproperties combined with functional specifications...10 bytes (13 words) - 02:52, 25 September 2023
- of Publication Type The logic of hyperlogic. Part B: Extensions and restrictions 2024-11-14 Paper THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS 2024-04-04...10 bytes (15 words) - 18:24, 24 September 2023
- non-linear-time hyperlogics is still open. For example, it is not yet known how to synthesize systems from specifications given in branching-time hyperlogics like...15 bytes (323 words) - 04:00, 2 February 2024
- logic supports quantification over paths in a system - as is possible in hyperlogics such as HyperCTL* - but resolves the paths based on the strategic choices...15 bytes (499 words) - 06:32, 10 July 2024
- Temporal logic (03B44) This page was built for publication: The hierarchy of hyperlogics Report a bug (only for logged in users!)Click here to report a bug for...15 bytes (76 words) - 20:04, 13 February 2025
- paper, we give an overview on the model checking problem for temporal hyperlogics. Our starting point is the model checking algorithm for HyperLTL, a reduction...15 bytes (343 words) - 05:15, 2 February 2024
- impossible worlds due to the flaws of normal modal logic? The logic of hyperlogic. Part B: Extensions and restrictions Dialetheic Conditional Modal Logic...15 bytes (288 words) - 04:56, 1 February 2024
- expressivists A modal view on resource-bounded propositional logics The logic of hyperlogic. Part B: Extensions and restrictions The logic of framing effects The...15 bytes (325 words) - 01:36, 2 February 2024
- Propositional quantification in bimodal S5 Worlds and times The logic of hyperlogic. Part B: Extensions and restrictions The fundamental theorem of world...15 bytes (252 words) - 20:48, 8 February 2024
- could not be Structured propositions and trivial composition The logic of hyperlogic. Part B: Extensions and restrictions Impossible Worlds A Theory of Propositions...15 bytes (235 words) - 23:10, 2 February 2024
- on modal knowledge Simple hyperintensional belief revision The logic of hyperlogic. Part B: Extensions and restrictions Impossible Worlds Dialetheic Conditional...15 bytes (489 words) - 09:55, 31 January 2024
- face value theory The logic of hyperlogic. Part B: Extensions and restrictions Unity through truth THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS Recommendations...15 bytes (254 words) - 06:25, 30 January 2024
- epistemic space How can necessary facts call for explanation? The logic of hyperlogic. Part B: Extensions and restrictions Bayesianism for non-ideal agents...15 bytes (284 words) - 22:46, 2 February 2024
- CLASSICAL COUNTERPOSSIBLES Williamson on counterpossibles The logic of hyperlogic. Part B: Extensions and restrictions Impossible Worlds Against the reduction...15 bytes (319 words) - 22:57, 2 February 2024
- root of NOT The logic of hyperlogic. Part B: Extensions and restrictions Title not available (Why is that?) THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS This...15 bytes (225 words) - 05:10, 2 February 2024
- Logic of Knowledge and Belief Based on Abstract Arguments The logic of hyperlogic. Part B: Extensions and restrictions Bayesianism for non-ideal agents...15 bytes (325 words) - 17:23, 1 February 2024
- Montanari A Metasemantic Interpretation of Mamdani Systems The logic of hyperlogic. Part B: Extensions and restrictions Expression and guidance in Schroeder's...15 bytes (237 words) - 10:57, 3 February 2024
